diff options
-rw-r--r--[l---------] | extra/info/checksums | 2 | ||||
-rwxr-xr-x[l---------] | extra/info/post-install | 6 | ||||
-rw-r--r--[l---------] | extra/info/sources | 2 | ||||
-rw-r--r--[l---------] | extra/info/version | 2 |
4 files changed, 8 insertions, 4 deletions
diff --git a/extra/info/checksums b/extra/info/checksums index 4ac3e63b..c47c81f7 120000..100644 --- a/extra/info/checksums +++ b/extra/info/checksums @@ -1 +1 @@ -../texinfo/checksums
\ No newline at end of file +8eb753ed28bca21f8f56c1a180362aed789229bd62fff58bf8368e9beb59fec4 texinfo-6.8.tar.xz 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 diff --git a/extra/info/sources b/extra/info/sources index 0edd2189..3ef08f12 120000..100644 --- a/extra/info/sources +++ b/extra/info/sources @@ -1 +1 @@ -../texinfo/sources
\ No newline at end of file +https://ftp.gnu.org/gnu/texinfo/texinfo-6.8.tar.xz diff --git a/extra/info/version b/extra/info/version index fcd2b6c9..41fc191f 120000..100644 --- a/extra/info/version +++ b/extra/info/version @@ -1 +1 @@ -../texinfo/version
\ No newline at end of file +6.8 1 |