summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore10
1 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 43c726a5..8eb4ebbb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -53,6 +53,16 @@
/doc/ledger.info
/doc/refman.pdf
/doc/report/
+/doc/*.aux
+/doc/*.cp
+/doc/*.fn
+/doc/*.ky
+/doc/*.log
+/doc/*.pdf
+/doc/*.pg
+/doc/*.toc
+/doc/*.tp
+/doc/*.vr
/expr_tests
/libtool
/math_tests