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