aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore14
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 9775c5401..806799393 100644
--- a/.gitignore
+++ b/.gitignore
@@ -69,3 +69,17 @@ doc/paper/taler.bbl
doc/paper/taler.blg
doc/paper/postquantum.bbl
doc/paper/postquantum.blg
+doc/manual/manual.aux
+doc/manual/manual.cp
+doc/manual/manual.cps
+doc/manual/manual.fn
+doc/manual/manual.html
+doc/manual/manual.info
+doc/manual/manual.ky
+doc/manual/manual.log
+doc/manual/manual.op
+doc/manual/manual.pdf
+doc/manual/manual.pg
+doc/manual/manual.toc
+doc/manual/manual.tp
+doc/manual/manual.vr