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