run html tidy when makeing final web site build

11 years ago · fb072d40ce
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@ -740,7 +740,8 @@ site: dukweb.js jquery-1.11.0.js
 	cp -r site /tmp/  # FIXME

 .PHONY:	dist-site
-dist-site:	site
+dist-site:	tidy-site site
+	# When doing a final dist build, run html tidy
 	rm -rf duktape-site-$(DUK_VERSION_FORMATTED)
 	rm -rf duktape-site-$(DUK_VERSION_FORMATTED).tar*
 	mkdir duktape-site-$(DUK_VERSION_FORMATTED)