Get rid of viewdoc and integrate manpageview instead.