doc to html from a cmdline?