summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore18
1 files changed, 17 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index a1cd3a4..a5cdac1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,7 +14,23 @@ Makefile
Makefile.in
# Documentation files created by make
-/doc/dimension.info
+/doc/*.aux
+/doc/*.cp
+/doc/*.cps
+/doc/*.dvi
+/doc/*.fn
+/doc/*.fns
+/doc/*.html/
+/doc/*.info
+/doc/*.ky
+/doc/*.log
+/doc/*.pdf
+/doc/*.pg
+/doc/*.ps
+/doc/*.toc
+/doc/*.tp
+/doc/*.tps
+/doc/*.vr
/doc/texinfo.tex
# Files created by `make check'