From 124c159d871b09dfc73a0f812268e7498c19c1a7 Mon Sep 17 00:00:00 2001
From: Victor Hu <whowutwut@gmail.com>
Date: Thu, 20 Aug 2015 16:02:13 -0400
Subject: [PATCH] Ignore the files generated by building the documentation
 under docs/build

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

diff --git a/.gitignore b/.gitignore
index bf915c4d7..9d66e6e0a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,5 @@
 *man7
 *man8
 *.tmp
+# ignore the documentation build files
+docs/build