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