diff options
author | B. Watson <urchlay@slackware.uk> | 2023-07-19 14:02:07 -0400 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2023-07-22 15:52:58 +0700 |
commit | 803a659fce76195de372f58915ababeddf963113 (patch) | |
tree | ddf8e5b4447043a9a78cbe0d57f48ae120964170 /development/source-highlight | |
parent | edbedf003ef81818d2cbe2c6b8015a5f57c7d92e (diff) |
development/source-highlight: Really add doinst.sh.
Signed-off-by: B. Watson <urchlay@slackware.uk>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/source-highlight')
-rw-r--r-- | development/source-highlight/doinst.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/development/source-highlight/doinst.sh b/development/source-highlight/doinst.sh new file mode 100644 index 0000000000000..1bef5020286ea --- /dev/null +++ b/development/source-highlight/doinst.sh @@ -0,0 +1,6 @@ +if [ -x /usr/bin/install-info -a -d usr/info ]; then + ( cd usr/info + rm -f dir + for i in *.info*; do /usr/bin/install-info $i dir 2>/dev/null; done + ) +fi |