Add documentation build files to .gitignore

GuiltyDolphin · Jul 13, 2018 · 1709735 · 1709735
1 parent 63f3927
commit 1709735
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1 +1,7 @@
 *.elc
+
+# Documentation build files
+
+*.html
+*.pdf
+*.tex