Added man2html target for docs (redhat-dok only for now)