Add /doc/{green,native} to .gitignore

diff --git a/.gitignore b/.gitignore
index c7e83518db3f8ee61ea065b031ca0bcb4156ac98..3fe8747d799cf6fb768e2b0426d6336d39974e1a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -75,6 +75,8 @@ src/.DS_Store
 /doc/latex
 /doc/std
 /doc/extra
+/doc/green
+/doc/native
 /nd/
 /llvm/
 version.md