Revise generated doc DOCTYPE to HTML5