--- a/.gitignore	Thu Aug 11 14:22:47 2011 -0600
+++ b/.gitignore	Thu Aug 11 14:24:05 2011 -0600
@@ -1,3 +1,2 @@
 anolis
 data
-intermediate.html

--- a/Makefile	Thu Aug 11 14:22:47 2011 -0600
+++ b/Makefile	Thu Aug 11 14:24:05 2011 -0600
@@ -10,6 +10,7 @@
 	$(ANOLIS) --output-encoding=ascii --omit-optional-tags --enable=xspecxref \
 	--w3c-compat-xref-a-placement --use-strict $< $@
 	sed -i 's!<span class=secno>[^<]*</span>!!g' $@
+	rm intermediate.html
 
 # Hangs and it's useless for me anyway, kill it
 #xrefs.json: intermediate.html Makefile