diff options
Diffstat (limited to 'install.do')
| -rw-r--r-- | install.do | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/install.do b/install.do new file mode 100644 index 0000000..dcab154 --- /dev/null +++ b/install.do @@ -0,0 +1,17 @@ +. ./config.rc +redo all +PHONY + +INSTALLSH=./tools/install.sh + +# Install executables. +"$INSTALLSH" -Dm755 -t "$DESTDIR$BINDIR" $(getbin) + +# Install manual pages. +"$INSTALLSH" -Dm644 -t "$DESTDIR$MAN1" man/*.1 + +# Install the documentation info page. +# We don't want to bother if the info page wasn't created, just exit without an +# error. +[ -f docs/cpt.info ] || exit 0 +"$INSTALLSH" -Dm644 docs/cpt.info "$DESTDIR$INFODIR/cpt.info" |