update .gitignore to exclude generated manual files

This commit is contained in:
Christian Grothoff 2017-05-18 18:26:51 +02:00
parent 4286f067ae
commit 5e581c86e1
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

14
.gitignore vendored
View File

@ -69,3 +69,17 @@ doc/paper/taler.bbl
doc/paper/taler.blg doc/paper/taler.blg
doc/paper/postquantum.bbl doc/paper/postquantum.bbl
doc/paper/postquantum.blg 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