diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-27 10:13:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-27 10:13:52 +0200 |
| commit | 14a8f5d3c7889f2046a008b1b1dc29f485ebb359 (patch) | |
| tree | 644ebb60f7155dd5c139d233857684fbcd8546e6 /manualPorts/help2man | |
| download | crux-ports-14a8f5d3c7889f2046a008b1b1dc29f485ebb359.tar.xz | |
initial commit
Diffstat (limited to 'manualPorts/help2man')
| -rw-r--r-- | manualPorts/help2man/.footprint | 7 | ||||
| -rw-r--r-- | manualPorts/help2man/.md5sum | 1 | ||||
| -rw-r--r-- | manualPorts/help2man/.signature | 5 | ||||
| -rw-r--r-- | manualPorts/help2man/Pkgfile | 28 | ||||
| -rwxr-xr-x | manualPorts/help2man/lastVersion.sh | 8 |
5 files changed, 49 insertions, 0 deletions
diff --git a/manualPorts/help2man/.footprint b/manualPorts/help2man/.footprint new file mode 100644 index 0000000..cf6c445 --- /dev/null +++ b/manualPorts/help2man/.footprint @@ -0,0 +1,7 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/bin/ +-rwxr-xr-x root/root usr/bin/help2man +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/man/ +drwxr-xr-x root/root usr/share/man/man1/ +-rw-r--r-- root/root usr/share/man/man1/help2man.1.gz diff --git a/manualPorts/help2man/.md5sum b/manualPorts/help2man/.md5sum new file mode 100644 index 0000000..ec74d66 --- /dev/null +++ b/manualPorts/help2man/.md5sum @@ -0,0 +1 @@ +7424901e6eca8af372d2ad62be5cf659 help2man-1.47.6.tar.xz diff --git a/manualPorts/help2man/.signature b/manualPorts/help2man/.signature new file mode 100644 index 0000000..bafd076 --- /dev/null +++ b/manualPorts/help2man/.signature @@ -0,0 +1,5 @@ +untrusted comment: verify with /etc/ports/deepthought.pub +RWQxCptPusLGGsidsBfCqd8vqw+fbnkGiuHdfwo8gbMin+Wk++p0LsQDsTX8oKv6eOGW4RJsgw+40qAzrYxT9FkTVs4fJq3swQs= +SHA256 (Pkgfile) = bc62cb910d496d85c008b5be0762514125d974bbe02286db2356a483f721cef5 +SHA256 (.footprint) = 585d03bdc485a21542c98d881b65944631b7a8c157de8bc0b6d05bac960eec4d +SHA256 (help2man-1.47.6.tar.xz) = d91b0295b72a638e4a564f643e4e6d1928779131f628c00f356c13bf336de46f diff --git a/manualPorts/help2man/Pkgfile b/manualPorts/help2man/Pkgfile new file mode 100644 index 0000000..a3667de --- /dev/null +++ b/manualPorts/help2man/Pkgfile @@ -0,0 +1,28 @@ +# Description: A tool for automatically generating simple manual pages from program output. +# URL: http://www.gnu.org/software/help2man/ +# Maintainer: Erich Eckner, crux at eckner dot net +# Contributor: Danny Rawlins, crux at romster dot me +# Packager: Younes Hafri, ycrux at club-internet dot fr + +name=help2man +version=1.47.6 +release=1 +source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.xz) + +build() { + cd $name-$version + + ./configure \ + --prefix=/usr \ + --mandir=/usr/share/man \ + --disable-nls + + make + make DESTDIR=$PKG install + + rm -rf $PKG/usr/share/info + + rmdir \ + $PKG/usr/lib/help2man \ + $PKG/usr/lib +} diff --git a/manualPorts/help2man/lastVersion.sh b/manualPorts/help2man/lastVersion.sh new file mode 100755 index 0000000..262611e --- /dev/null +++ b/manualPorts/help2man/lastVersion.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +curl "http://ftp.gnu.org/gnu/help2man/" 2> /dev/null | \ + tr "<>" "\n\n" | \ + grep "^help2man-[0-9.]\+\.tar\.xz\$" | \ + sed "s/^help2man-\([0-9.]\+\)\.tar\.xz\$/\1/" | \ + sort -V | \ + tail -n1 |