diff options
author | Cem Keylan <cem@ckyln.com> | 2020-09-14 20:53:39 +0300 |
---|---|---|
committer | Cem Keylan <cem@ckyln.com> | 2020-09-14 20:53:39 +0300 |
commit | e19b1dab745a46797f6b385be4de9d35812272d0 (patch) | |
tree | 71cb0c65fece1910d6ecc2a72cc0f703a6d83155 /extra/info | |
parent | e03022013203c8d408174400bbd0406742c4e8f9 (diff) | |
download | repository-e19b1dab745a46797f6b385be4de9d35812272d0.tar.gz |
info: build install-info
Diffstat (limited to 'extra/info')
-rwxr-xr-x | extra/info/build | 4 | ||||
-rwxr-xr-x | extra/info/post-install | 3 |
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 \; |