diff options
Diffstat (limited to 'Keywords')
| -rw-r--r-- | Keywords/info.yaml | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/Keywords/info.yaml b/Keywords/info.yaml index 6c34caab8527..37589b28a92a 100644 --- a/Keywords/info.yaml +++ b/Keywords/info.yaml @@ -5,13 +5,7 @@ actions: [file] post-install: | file=%D/%@ - ginstall-info --quiet %D/%@ %D/info/dir + indexinfo ${file%/*} post-deinstall: | file=%D/%@ - ginstall-info --quiet --delete %D/%@ %D/info/dir - if [ $(ginfo -d ${file%/*} --output - 2>/dev/null | grep -c '^*') -eq 1 ]; then - rm -f ${file%/*}/dir - fi - if [ ${file%/*} != "%D/info" ]; then - rmdir ${file%/*} 2> /dev/null || true - fi + indexinfo ${file%/*} |