Remove old docs gitignores and comment on docs build dir

wajihaparvez · Dec 16, 2015 · 67e0b51 · 67e0b51
1 parent c8d199b
commit 67e0b51
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -32,10 +32,10 @@ dependency-reduced-pom.xml
 # osx stuff
 .DS_Store
 
-# random old stuff that we should look at the necessity of...
-docs/html/
-docs/build.log
+# needed in case docs build is run...maybe we can configure doc build to generate files under build?
 html_docs
+
+# random old stuff that we should look at the necessity of...
 /tmp/
 backwards/