diff --git a/libraries/.gitignore b/libraries/.gitignore
index f7f4ca2461c..e2ae2315a83 100644
--- a/libraries/.gitignore
+++ b/libraries/.gitignore
@@ -1,4 +1,5 @@
 target
+/doc/
 .idea
 *.iml
 *.ipr