From 17097356a615c62d5124272d0292941922bc969f Mon Sep 17 00:00:00 2001
From: Ben Moon <software@guiltydolphin.com>
Date: Fri, 13 Jul 2018 14:37:52 +0100
Subject: [PATCH] Add documentation build files to .gitignore

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

diff --git a/.gitignore b/.gitignore
index c531d98..8f9c1b4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,7 @@
 *.elc
+
+# Documentation build files
+
+*.html
+*.pdf
+*.tex