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