diff options
| -rw-r--r-- | .gitignore | 14 |
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 |