Don't leave intermediate.html lying around
authorAryeh Gregor <AryehGregor+gitcommit@gmail.com>
Thu, 11 Aug 2011 14:24:05 -0600
changeset 515 d48a7be81c2e
parent 514 66e5c3300253
child 516 6f5e9115dd13
Don't leave intermediate.html lying around
.gitignore
Makefile
--- 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