merge
authorTom De Nies <tom.denies@ugent.be>
Wed, 17 Apr 2013 17:10:28 +0200
changeset 6200 16b2b878483c
parent 6199 694d75273218 (current diff)
parent 6198 224279ab826e (diff)
child 6201 5cfb0d9fe43e
merge
--- a/xml/Makefile	Wed Apr 17 17:10:09 2013 +0200
+++ b/xml/Makefile	Wed Apr 17 17:10:28 2013 +0200
@@ -12,4 +12,6 @@
 
 stage:
 	$(PHANTOM_JS) ../model/respec2html.js $(DOC) releases/$(NEXT)/Overview.html
+
+diff:
 	$(HTMLDIFF) releases/$(LAST)/Overview.html releases/$(NEXT)/Overview.html > releases/$(NEXT)/diff.html