bug

[cdsspec-compiler.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index dafb8c37ae227c5a6177d72cafbe07a1efad289a..78006ce2b7ae315957e475b507ba1a5e5693787c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -8,5 +8,6 @@
 
 # files in this directory
 /tags
-/docs
+/doc/docs
 /make.deps
+/benchmarks