4 EXTRA= README.md Makefile plass-dist.txt
7 INSTALL_MAN= ${INSTALL} -m 0444
8 INSTALL_PROGRAM=${INSTALL} -m 0555
15 STAGEDIR= ${TMPDIR}/plass-${VERSION}
17 .PHONY: all dist install-local install lint
22 ${INSTALL_PROGRAM} ${PROG} ${HOME}/bin
25 ${INSTALL_PROGRAM} ${PROG} ${PREFIX}/bin
26 ${INSTALL_MAN} ${MAN} ${MANDIR}/man1/
33 pax -rw ${PROG} ${MAN} ${EXTRA} ${STAGEDIR}
34 tar -C ${TMPDIR} -vzcf plass-${VERSION}.tar.gz plass-${VERSION} | \
35 sed -E 's,^plass-${VERSION}/?,,' | \
36 sort -u > plass-dist.txt.new
38 diff -u plass-dist.txt{,.new}