aboutsummaryrefslogtreecommitdiff
path: root/extra/info
diff options
context:
space:
mode:
authorCem Keylan <cem@ckyln.com>2020-09-14 20:53:39 +0300
committerCem Keylan <cem@ckyln.com>2020-09-14 20:53:39 +0300
commite19b1dab745a46797f6b385be4de9d35812272d0 (patch)
tree71cb0c65fece1910d6ecc2a72cc0f703a6d83155 /extra/info
parente03022013203c8d408174400bbd0406742c4e8f9 (diff)
downloadrepository-e19b1dab745a46797f6b385be4de9d35812272d0.tar.gz
info: build install-info
Diffstat (limited to 'extra/info')
-rwxr-xr-xextra/info/build4
-rwxr-xr-xextra/info/post-install3
2 files changed, 6 insertions, 1 deletions
diff --git a/extra/info/build b/extra/info/build
index 4e0e36b5..329a0e31 100755
--- a/extra/info/build
+++ b/extra/info/build
@@ -11,5 +11,7 @@ export PERL=/bin/true
make -C gnulib/lib
make -C info
+make -C install-info
-install -Dm755 info/ginfo "$1/usr/bin/info"
+install -Dm755 info/ginfo "$1/usr/bin/info"
+install -Dm755 install-info/ginstall-info "$1/usr/bin/install-info"
diff --git a/extra/info/post-install b/extra/info/post-install
new file mode 100755
index 00000000..8e50bc63
--- /dev/null
+++ b/extra/info/post-install
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+find /usr/share/info -type f ! -name dir -exec install-info {} /usr/share/info/dir \;