Add the docs/ folder to gitignore (#3694)

2 years ago · e1a25a184a
parent 26ea676b8d
commit e1a25a184a
1 changed files with 1 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,4 +1,4 @@
-/doc/
+/docs/
 /dev/
 /lib/
 /bin/