On Wed, Mar 9, 2016 at 8:14 PM, Adrien Vergé wrote: > 2016-03-09 12:43 GMT+01:00 Gianfranco Costamagna: >> +override_dh_installman: >> + dh_installman build/man/yamllint.1 > > Yes you're right, this is for man page auto-generation.
Probably the upstream build system should also install the manual page, please do that for the next version. -- bye, pabs https://wiki.debian.org/PaulWise
