Add docs directory to .gitignore
diff --git a/.gitignore b/.gitignore
index cc03305..16ef227 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,3 +19,4 @@
 .settings
 /library/.classpath
 /library/.project
+docs/**/*