.gitignore: update chips for docs reorg

Change the .gitignore entries that refer to doc/chips to refer instead to doc/developer/chips
khamidouche · Dec 9, 2016 · 0fa1007 · 0fa1007
1 parent aaa3b0c
commit 0fa1007
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -41,8 +41,8 @@ tags
 # Doc ignores.
 /doc/**/*.aux
 /doc/**/*.log
-/doc/chips/html
-/doc/chips/tmp
+/doc/developer/chips/html
+/doc/developer/chips/tmp
 /doc/developer/compilerOverview/compiler.pdf
 /doc/developer/compilerOverview/compiler.dvi
 /doc/developer/compilerOverview/compiler.toc