summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore24
1 files changed, 18 insertions, 6 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index 49f3e9d..230ef46 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,8 +1,20 @@
-Makefile Makefile.in
-version.texi fdl.texi make-stds.texi texinfo.tex
+fdl.texi
+make-stds.texi
+stamp-vti
+version.texi
make.info*
make*.html
-make.aux make.cp make.cps make.fn make.fns make.ky
-make.pg make.toc make.tp make.vr make.log
-make.dvi make.ps make.pdf
-stamp-vti
+make.aux
+make.cp
+make.cps
+make.dvi
+make.fn
+make.fns
+make.ky
+make.log
+make.pdf
+make.pg
+make.ps
+make.toc
+make.tp
+make.vr