fix manpage and html generation