build: Add configure option for generating manual pages

Diffstat

3 files changed, 9 insertions(+), 0 deletions(-)