From 04ee992f41fd3fd65c75423f98bef7d93bf78363 Mon Sep 17 00:00:00 2001 From: michael Date: Sun, 26 Oct 2003 14:37:20 +0000 Subject: [PATCH] + Added installation of manualpages --- install/install.sh | 9 +++++++++ install/makepack | 4 +++- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/install/install.sh b/install/install.sh index eba5d9c829..707c538e50 100644 --- a/install/install.sh +++ b/install/install.sh @@ -95,6 +95,7 @@ makedirhierarch $PREFIX LIBDIR=$PREFIX/lib/fpc/$VERSION SRCDIR=$PREFIX/src/fpc-$VERSION DOCDIR=$PREFIX/doc/fpc-$VERSION +MANDIR=$PREFIX/man DEMODIR=$DOCDIR/examples EXECDIR=$PREFIX/bin @@ -169,6 +170,14 @@ if yesno "Install documentation"; then fi echo +# Install the documentation. Optional. +if yesno "Install manual pages"; then + echo Installing documentation in $MANDIR ... + unztar man.tar.gz $PREFIX + echo Done. +fi +echo + # Install the demos. Optional. if yesno "Install demos"; then ask "Install demos in" DEMODIR diff --git a/install/makepack b/install/makepack index cfd26d3505..6c234b9401 100644 --- a/install/makepack +++ b/install/makepack @@ -21,12 +21,14 @@ make demozip SOURCES=`/bin/ls *src.tar.gz` FILES=`/bin/ls *linux.tar.gz *exm.tar.gz` -RELFILES="binary.tar sources.tar demo.tar.gz docs.tar.gz install.sh" +RELFILES="binary.tar sources.tar demo.tar.gz docs.tar.gz man.tar.gz install.sh" echo Creating binary.tar tar cf binary.tar $FILES echo Creating sources.tar tar cf sources.tar $SOURCES +echo Creating man.tar.gz +(cd install; tar czf ../man.tar.gz man/man1/*.1 man/man5/*.5) echo Copying install.sh cp install/install.sh . chmod 755 install.sh