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