diff options
| -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 \; |