diff -r 264c878c62d1 -r 203fa998c6df docs/.gitignore
--- a/docs/.gitignore	Wed Jun 25 21:11:33 2008 -0400
+++ b/docs/.gitignore	Tue Apr 24 19:27:29 2018 +0100
@@ -1,1 +1,6 @@
+html
+razor-decl-list.txt
+razor-decl.txt
+razor-overrides.txt
 version.xml
+xml