Re: doc to html from a cmdline?