diff options
Diffstat (limited to 'man/Pkgfile')
-rw-r--r-- | man/Pkgfile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/man/Pkgfile b/man/Pkgfile new file mode 100644 index 0000000..95a8c30 --- /dev/null +++ b/man/Pkgfile @@ -0,0 +1,18 @@ +description="The man page suite used to read most of the documentation for Linux" +packager="" +maintainer="CRUX System Team, core-ports at crux dot nu" +url="http://primates.ximian.com/~flucifredi/man/" +depends=() + +name=man +version=1.6f +release=1 +source=(http://www.ibiblio.org/pub/Linux/apps/doctools/man/man-1.6f.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 +} |