summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorJim Meyering <meyering@redhat.com>2009-05-16 09:52:16 +0200
committerAndreas Schwab <schwab@redhat.com>2009-07-29 11:18:27 +0200
commit87b8eeddb0972dc3cd7cbee1890cbc632dc38e40 (patch)
tree9914ad3e849c761375879661b2e42e6ce1d1d9e8 /manual
parent0a0ddbbe6781fbc426a5f24df31872a81688a7bc (diff)
remove subsumed .gitignore entries and files
(cherry picked from commit edeabc047e56680a293c39992d227b4c430cc0a7)
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