diff options
Diffstat (limited to 'extra/info/post-install')
| -rwxr-xr-x[l---------] | extra/info/post-install | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/extra/info/post-install b/extra/info/post-install index e9df43e8..662b5ff5 120000..100755 --- a/extra/info/post-install +++ b/extra/info/post-install @@ -1 +1,5 @@ -../texinfo/post-install
\ No newline at end of file +#!/bin/sh + +find "$CPT_ROOT/usr/share/info" -type f ! -name dir | while read -r file; do + install-info "$file" "$CPT_ROOT/usr/share/info/dir" +done |