exec >&2 : ${INSTALL:=install} : ${DESTDIR=NONE} : ${PREFIX:=/usr} : ${MANDIR:=$DESTDIR$PREFIX/share/man} : ${DOCDIR:=$DESTDIR$PREFIX/share/doc/redo} : ${BINDIR:=$DESTDIR$PREFIX/bin} : ${LIBDIR:=$DESTDIR$PREFIX/lib/redo} if [ "$DESTDIR" = "NONE" ]; then echo "$0: fatal: set DESTDIR before trying to install." exit 99 fi redo-ifchange _all redo/whichpython read py