ref: 07e15d84028510d623550c4bc880d1189b80030d dir: /doctools/htmlsingle/
#!/bin/sed -f /<\?xml/d;/<!DOCTYPE/,/>/d s/<html>// /<head>/,/<\/head>/d s/<body>// s/<\/body>// s/<\/html>//