Turned off HTML output.  Now only man files are generated.