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

Reply via email to