diff options
Diffstat (limited to 'man/Pkgfile.old')
-rw-r--r-- | man/Pkgfile.old | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/man/Pkgfile.old b/man/Pkgfile.old new file mode 100644 index 0000000..446455a --- /dev/null +++ b/man/Pkgfile.old @@ -0,0 +1,22 @@ +# Description: The man page suite used to read most of the documentation for Linux +# URL: http://primates.ximian.com/~flucifredi/man/ +# Maintainer: CRUX System Team, core-ports at crux dot nu + +name=man +version=1.6f +release=1 +source=(http://www.ibiblio.org/pub/Linux/apps/doctools/man/$name-$version.tar.gz \ + makewhatis) + +build() { + cd $name-$version + ./configure -prefix=/usr \ + -confdir=/etc \ + -mandir=/usr/man \ + -compatibility_mode_for_colored_groff \ + +lang none \ + -default + make + make PREFIX=$PKG install + install -D -m 755 $SRC/makewhatis $PKG/etc/cron/daily/makewhatis +} |