Re: [docs] whitespace and indenting of xml

2006-02-01 Thread Leo Simons
How to clean up HTML... Using shell with xmllint (yes, ugly shortcuts below): export cmd="xmllint --html" find . -name '*.html' -exec $cmd \{\} > \{\}.new \; find . -name '*.html' -exec cp \{\}.new \{\} \; svn status | egrep '^\?' | sed -e 's/^\? *//g' | xargs rm (--html not totally nece

Re: [docs] whitespace and indenting of xml

2006-01-31 Thread Yoav Shapira
> Someone could run all documents through something > like HTML Tidy or Henning's CodeWrestler or perhaps > some XSL. It shouldn't be hard to integrate JTidy either by itself from the command line or as an Ant task: http://jtidy.sourceforge.net/howto.html. Yoav -