--- 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