Convert a Google Doc (gdoc) to a W3C respec HTML file using some half-baked rules
Primary LanguageHTML