git: Ignore generated man pages
build-sys: Optional disabling of man pages.
build-sys: Fix an error when disabling man pages.
man-pages: Update mlm-tags manual.