1 files changed, 25 insertions, 0 deletions
diff --git a/core/mandoc/build b/core/mandoc/build
new file mode 100755
index 00000000..5b015e39
--- /dev/null
+++ b/core/mandoc/build
@@ -0,0 +1,25 @@
+#!/bin/sh -e
+
+sed -i 's,"more -s","less",g' main.c
+
+cat > configure.local <<EOF
+PREFIX=/usr
+MANDIR=/usr/share/man
+LIBDIR=/usr/lib
+CC="${CC:-gcc}"
+CFLAGS="$CFLAGS"
+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 -v u+w "$1/usr/bin/"*
+
+# Remove all development files.
+rm -rf "$1/usr/include" \
+       "$1/usr/lib" \
+       "$1/usr/share/man/man3"