Just realised that debian/grinder.manpages is created automatically which makes my previous argument for the short dh_installman input file pretty useless. Just stick to my old habit - feel free to revert if you see any advantages in the old approach.