summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorJim Meyering <meyering@redhat.com>2009-05-16 09:52:16 +0200
committerJim Meyering <meyering@redhat.com>2009-05-16 10:41:40 +0200
commitedeabc047e56680a293c39992d227b4c430cc0a7 (patch)
treea8e76f493f1e30f4a74332d886d0025ddc64b870 /manual
parent863615332688db0aa6db3dea642752241f051e5c (diff)
remove subsumed .gitignore entries and files
Diffstat (limited to 'manual')
-rw-r--r--manual/.gitignore37
1 files changed, 17 insertions, 20 deletions
diff --git a/manual/.gitignore b/manual/.gitignore
index 27f045cc1f..e92cef39b4 100644
--- a/manual/.gitignore
+++ b/manual/.gitignore
@@ -1,32 +1,29 @@
-*.dvi*
-*.info*
-*.c.texi
-*.ps
-*.pdf
-*.toc
*.aux
-*.log
-*.tmp
+*.c.texi
*.cp
*.cps
+*.dvi*
*.fn
*.fns
-*.vr
-*.vrs
-*.tp
-*.tps
+*.info*
*.ky
*.kys
+*.log
+*.pdf
*.pg
*.pgs
-
-texis
-top-menu.texi
+*.ps
+*.tmp
+*.toc
+*.tp
+*.tps
+*.vr
+*.vrs
chapters.texi
-summary.texi
-stamp-*
-distinfo
-dir-add.texinfo
dir-add.texi
-
+dir-add.texinfo
libm-err.texi
+stamp-*
+summary.texi
+texis
+top-menu.texi