URL:
  <http://savannah.gnu.org/bugs/?51415>

                 Summary: [PATCH] .gitignore: Update names of created
man-pages
                 Project: GNU troff
            Submitted by: bjarniig
            Submitted on: Sat 08 Jul 2017 12:33:36 AM UTC
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
         Planned Release: None

    _______________________________________________________

Details:


>From f6abecd883aa73e7ebd335a6cdb65123d3567dd4 Mon Sep 17 00:00:00 2001
From: Bjarni Ingi Gislason <[email protected]>
Date: Sat, 8 Jul 2017 00:13:45 +0000
Subject: [PATCH] .gitignore: Update names of created man-pages

  Also remove some names in subdirectories for created executables, that are
already in the top ".gitignore", as their names are at the top.

  Some names may be missing as the software was compiled with
"--with-doc=no".

Signed-off-by: Bjarni Ingi Gislason <[email protected]>
---
 .gitignore                      |    3 +++
 contrib/chem/.gitignore         |    2 +-
 contrib/eqn2graph/.gitignore    |    2 +-
 contrib/gdiffmk/.gitignore      |    2 +-
 contrib/grap2graph/.gitignore   |    2 +-
 contrib/groffer/.gitignore      |   35 ++++++++++++++---------------------
 contrib/hdtbl/.gitignore        |    2 +-
 contrib/mm/.gitignore           |    6 +++---
 contrib/mom/.gitignore          |    2 +-
 contrib/pdfmark/.gitignore      |    2 +-
 contrib/pic2graph/.gitignore    |    2 +-
 man/.gitignore                  |   16 ++++++++--------
 src/devices/grodvi/.gitignore   |    2 +-
 src/devices/grohtml/.gitignore  |    2 +-
 src/devices/grolbp/.gitignore   |    2 +-
 src/devices/grolj4/.gitignore   |    4 ++--
 src/devices/grops/.gitignore    |    2 +-
 src/devices/grotty/.gitignore   |    2 +-
 src/devices/xditview/.gitignore |    2 +-
 src/preproc/eqn/.gitignore      |    2 ++
 src/preproc/grn/.gitignore      |    2 +-
 src/preproc/pic/.gitignore      |    1 +
 src/preproc/preconv/.gitignore  |    2 +-
 src/preproc/refer/.gitignore    |    2 +-
 src/preproc/soelim/.gitignore   |    2 +-
 src/preproc/tbl/.gitignore      |    2 +-
 src/roff/groff/.gitignore       |    2 +-
 src/roff/grog/.gitignore        |    2 +-
 src/roff/nroff/.gitignore       |    2 +-
 src/roff/troff/.gitignore       |    2 +-
 src/utils/addftinfo/.gitignore  |    2 +-
 src/utils/afmtodit/.gitignore   |    2 +-
 src/utils/hpftodit/.gitignore   |    2 +-
 src/utils/indxbib/.gitignore    |    2 +-
 src/utils/lkbib/.gitignore      |    2 +-
 src/utils/lookbib/.gitignore    |    2 +-
 src/utils/pfbtops/.gitignore    |    2 +-
 src/utils/tfmtodit/.gitignore   |    2 +-
 src/utils/xtotroff/.gitignore   |    2 +-
 tmac/.gitignore                 |   12 ++++++------
 40 files changed, 71 insertions(+), 72 deletions(-)

 The patch is in the attachment.




    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Sat 08 Jul 2017 12:33:36 AM UTC  Name:
0001-.gitignore-Update-names-of-created-man-pages.txt.gz  Size: 3kB   By:
bjarniig

<http://savannah.gnu.org/bugs/download.php?file_id=41152>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?51415>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/


_______________________________________________
bug-groff mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-groff

Reply via email to