diff options
Diffstat (limited to 'core/mandoc')
| -rwxr-xr-x | core/mandoc/build | 35 | ||||
| -rw-r--r-- | core/mandoc/checksums | 1 | ||||
| -rw-r--r-- | core/mandoc/depends | 1 | ||||
| -rw-r--r-- | core/mandoc/sources | 1 | ||||
| -rw-r--r-- | core/mandoc/version | 1 |
5 files changed, 0 insertions, 39 deletions
diff --git a/core/mandoc/build b/core/mandoc/build deleted file mode 100755 index 324e4138..00000000 --- a/core/mandoc/build +++ /dev/null @@ -1,35 +0,0 @@ -#!/bin/sh -e - -sed_i() { - for file; do :; done - sed "$@" > _ - cat _ > "$file"; rm -f _ -} - -sed_i '/int dummy/d' compat_err.c -sed_i 's,"more -s","less",g' main.c -sed_i "s/CC=.*/CC='$CC'/" configure - -cat > configure.local <<EOF -PREFIX=/usr -MANDIR=/usr/share/man -LIBDIR=/usr/lib -SBINDIR=/usr/bin -CC="${CC:-gcc}" -CFLAGS="$CFLAGS" -LDFLAGS="$LDFLAGS -static" -MANPATH_DEFAULT=/usr/share/man -LN="ln -sf" -EOF - -MANPATH_BASE=/usr/share/man ./configure -make -make -j1 DESTDIR="$1" base-install lib-install - -# Make binaries writable. -chmod u+w "$1/usr/bin/"* - -# Remove all development files. -rm -rf "$1/usr/include" \ - "$1/usr/lib" \ - "$1/usr/share/man/man3" diff --git a/core/mandoc/checksums b/core/mandoc/checksums deleted file mode 100644 index 05dfea01..00000000 --- a/core/mandoc/checksums +++ /dev/null @@ -1 +0,0 @@ -8219b42cb56fc07b2aa660574e6211ac38eefdbf21f41b698d3348793ba5d8f7 mandoc-1.14.5.tar.gz diff --git a/core/mandoc/depends b/core/mandoc/depends deleted file mode 100644 index 17a6d43d..00000000 --- a/core/mandoc/depends +++ /dev/null @@ -1 +0,0 @@ -zlib make diff --git a/core/mandoc/sources b/core/mandoc/sources deleted file mode 100644 index 85f63e7e..00000000 --- a/core/mandoc/sources +++ /dev/null @@ -1 +0,0 @@ -https://fossies.org/linux/misc/mandoc-1.14.5.tar.gz diff --git a/core/mandoc/version b/core/mandoc/version deleted file mode 100644 index f026b185..00000000 --- a/core/mandoc/version +++ /dev/null @@ -1 +0,0 @@ -1.14.5 3 |