From 5e581c86e128f1c761ccee929aa56d4bb1299925 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Thu, 18 May 2017 18:26:51 +0200 Subject: update .gitignore to exclude generated manual files --- .gitignore | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to '.gitignore') 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 -- cgit v1.2.3