summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2017-05-18 18:26:51 +0200
committerChristian Grothoff <christian@grothoff.org>2017-05-18 18:27:01 +0200
commit5e581c86e128f1c761ccee929aa56d4bb1299925 (patch)
tree4e36ee6e862eed3dac1b74b22095c26661e815c9 /.gitignore
parent4286f067ae489e20563caaf19d2aa7de54e8c3ef (diff)
downloadexchange-5e581c86e128f1c761ccee929aa56d4bb1299925.tar.gz
exchange-5e581c86e128f1c761ccee929aa56d4bb1299925.tar.bz2
exchange-5e581c86e128f1c761ccee929aa56d4bb1299925.zip
update .gitignore to exclude generated manual files
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore14
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 9775c540..80679939 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