- man_dir=debian/tmp/usr/man install install_man
- install -g root -o root -m 644 debian/copyright $(udp)/.
- install -g root -o root -m 644 debian/changelog $(udp)/changelog.Debian
- gzip -9 debian/tmp/usr/man/man*/* $(udp)/*
- install -g root -o root -m 755 debian/postrm debian/tmp/DEBIAN
+ man_dir=debian/tmp/usr/share/man install install_man
+ $(INSTALL_FILE) debian/changelog $(udp)/changelog
+ gzip -9 debian/tmp/usr/share/man/man*/* $(udp)/*
+ $(INSTALL_FILE) debian/copyright $(udp)/.
+ $(INSTALL_SCRIPT) debian/{postrm,prerm,postinst} debian/tmp/DEBIAN