do not install development man pages on target system by default
Merge remote-tracking branch 'github/master'
Merge remote-tracking branch 'github/master'