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
[email protected]
http://lists.mmbase.org/mailman/listinfo/cvs
