gitignore: add doc/client and doc/server

ocsigen · Oct 12, 2016 · f157e7f · f157e7f
1 parent 00647b7
commit f157e7f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -15,6 +15,8 @@ _client/
 _deps/
 _server/
 local/
+doc/client
+doc/server
 
 .*.sw*