diff options
| l---------[-rwxr-xr-x] | extra/info/post-install | 4 | ||||
| -rwxr-xr-x | extra/texinfo/post-install | 3 |
2 files changed, 4 insertions, 3 deletions
diff --git a/extra/info/post-install b/extra/info/post-install index 8e50bc63..e9df43e8 100755..120000 --- a/extra/info/post-install +++ b/extra/info/post-install @@ -1,3 +1 @@ -#!/bin/sh - -find /usr/share/info -type f ! -name dir -exec install-info {} /usr/share/info/dir \; +../texinfo/post-install
\ No newline at end of file diff --git a/extra/texinfo/post-install b/extra/texinfo/post-install new file mode 100755 index 00000000..8e50bc63 --- /dev/null +++ b/extra/texinfo/post-install @@ -0,0 +1,3 @@ +#!/bin/sh + +find /usr/share/info -type f ! -name dir -exec install-info {} /usr/share/info/dir \; |