Răsfoiți Sursa

Remove old docs gitignores and comment on docs build dir

Ryan Ernst 10 ani în urmă
părinte
comite
67e0b5190a
1 a modificat fișierele cu 3 adăugiri și 3 ștergeri
  1. 3 3
      .gitignore

+ 3 - 3
.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/