Generate manual pages

Ref #1131
Ref #1132