From 37cc0acbf798f5d909f03e640200bea9c81924d6 Mon Sep 17 00:00:00 2001
From: dellaert <dellaert@cc.gatech.edu>
Date: Wed, 18 Feb 2015 14:24:35 +0100
Subject: [PATCH] Ignore doxygen docs

---
 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 000000000..ac7af2e80
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1 @@
+/html/