add autogenerated files to gitignore

3YOURMIND · Apr 20, 2019 · 6f3d832 · 6f3d832
1 parent bd3b551
commit 6f3d832
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,6 +4,11 @@ tests/new*
 # security
 secring.*
 
+# docs
+*.pdf
+*.html
+*.tex
+
 # Emacs
 # -*- mode: gitignore; -*-
 *~