From 9bedb8a1c9cfc906ed339451c36b46c74bf5a639 Mon Sep 17 00:00:00 2001
From: Axel Kohlmeyer <akohlmey@gmail.com>
Date: Tue, 20 Sep 2016 18:54:51 -0400
Subject: [PATCH] ignore generated files in html folder

---
 doc/.gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/.gitignore b/doc/.gitignore
index 8b13789179..35b5e99aee 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1 +1 @@
-
+/html
-- 
GitLab