From 41957f466ffcb5c2a33999bbf342f98d8aadd855 Mon Sep 17 00:00:00 2001
From: Rene Rivera <grafikrobot@gmail.com>
Date: Fri, 22 Jul 2016 08:31:13 -0500
Subject: [PATCH] Ignore locally generated docs to avoid accidental commits.

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

diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644
index 0000000..ac7af2e
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1 @@
+/html/