Tweak .gitignore so we don't obsess over a documentation directory.

95d7c7d5 · Bruce A. Mah · 14741dcb · 95d7c7d5
Commit 95d7c7d5 authored Apr 7, 2014 by Bruce A. Mah
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,7 @@ config/test-driver
 config.log
 config.status
 docs/_build
+docs/_static
 libtool
 src/.deps
 src/.libs