adapt man page auto generation for deb packaging (see #872)