From 5e581c86e128f1c761ccee929aa56d4bb1299925 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 18 May 2017 18:26:51 +0200
Subject: [PATCH] update .gitignore to exclude generated manual files

---
 .gitignore | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

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