install -d -m 755 debian/tmp/usr/share/man/man1/
install -m 644 docs/*.1 debian/tmp/usr/share/man/man1/
gzip -9v debian/tmp/usr/share/man/man1/*
install -d -m 755 debian/tmp/usr/share/man/man1/
install -m 644 docs/*.1 debian/tmp/usr/share/man/man1/
gzip -9v debian/tmp/usr/share/man/man1/*