Author: michiel Date: 2010-05-15 19:12:20 +0200 (Sat, 15 May 2010) New Revision: 42162
Modified: speeltuin/mihxil/simple/wget/Makefile Log: this is much faster Modified: speeltuin/mihxil/simple/wget/Makefile =================================================================== --- speeltuin/mihxil/simple/wget/Makefile 2010-05-15 17:09:26 UTC (rev 42161) +++ speeltuin/mihxil/simple/wget/Makefile 2010-05-15 17:12:20 UTC (rev 42162) @@ -3,7 +3,7 @@ simple-webapp/index.html: wget -r -k -nH --adjust-extension http://localhost:8080/simple-webapp/ - bash -c 'for i in `find simple-webapp -name "*.html"`; do xmllint $$i | xsltproc welcomefiles.xslt - | xmllint --nsclean --format - > $$i.new ; mv $$i.new $$i ; done' + bash -c 'for i in `find simple-webapp -name "*.html"`; do xmllint $$i | xsltproc -novalid welcomefiles.xslt - | xmllint --nsclean --format - > $$i.new ; mv $$i.new $$i ; done' upload: simple-webapp/index.html (cd simple-webapp ; tar zcf es.tgz *) _______________________________________________ Cvs mailing list Cvs@lists.mmbase.org http://lists.mmbase.org/mailman/listinfo/cvs