diff -r 264c878c62d1 -r a5837882a252 docs/.gitignore
--- a/docs/.gitignore	Wed Jun 25 21:11:33 2008 -0400
+++ b/docs/.gitignore	Mon Jul 11 16:12:45 2016 +0100
@@ -1,1 +1,6 @@
+html
+razor-decl-list.txt
+razor-decl.txt
+razor-overrides.txt
 version.xml
+xml