Fix building manpage on linux

Use docbook2x-man instead of docbook-to-man, because apparently docbook-to-man doesn't really like xml
Fix man page typos