diff -r 264c878c62d1 -r f98d77376544 docs/.gitignore
--- a/docs/.gitignore	Wed Jun 25 21:11:33 2008 -0400
+++ b/docs/.gitignore	Fri Jun 08 18:02:33 2018 +0100
@@ -1,1 +1,6 @@
+html
+razor-decl-list.txt
+razor-decl.txt
+razor-overrides.txt
 version.xml
+xml