changed dirhtml to html for docs use flag