From a33d7713245d1cc3ec94a511711e5b1d58058552 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Wed, 6 Jun 2018 15:50:23 +0100
Subject: [PATCH] Update .gitignore

---
 .gitignore | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..d207238
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,23 @@
+/doc/chap*.html
+/doc/chap*.txt
+/doc/*.css
+/doc/*.js
+/doc/chooser.html
+/doc/*.aux
+/doc/*.bbl
+/doc/*.blg
+/doc/*.brf
+/doc/*.idx
+/doc/*.ilg
+/doc/*.ind
+/doc/*.lab
+/doc/*.log
+/doc/*.out
+/doc/*.pnr
+/doc/*.six
+/doc/*.tex
+/doc/*.toc
+/doc/manual.pdf
+
+/gh-pages/
+/tmp/