diff options
| -rwxr-xr-x | extra/info/build | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/extra/info/build b/extra/info/build index 329a0e31..5c2a320a 100755 --- a/extra/info/build +++ b/extra/info/build @@ -13,5 +13,7 @@ make -C gnulib/lib make -C info make -C install-info -install -Dm755 info/ginfo "$1/usr/bin/info" -install -Dm755 install-info/ginstall-info "$1/usr/bin/install-info" +clinst -Dm755 info/ginfo "$1/usr/bin/info" +clinst -Dm755 install-info/ginstall-info "$1/usr/bin/install-info" + +clman -d "$1" man/info.1 man/install-info.1 man/info.5 |