From 1a6c2ffff3b6fe35f28bece3403a94dde214a949 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Sun, 25 Jan 2015 22:21:11 +0200
Subject: [PATCH] Ignore generated documentation.

---
 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/