From 3745a0e2b18d2fb8fead3bfdfb9144cb5bc35158 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Sat, 1 Aug 2020 13:24:51 +0200
Subject: [PATCH] [doc] ignore generated files

---
 doc/.gitignore | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 doc/.gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644
index 0000000..b51a70d
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1,2 @@
+*.pdf
+*.tex