diff options
author | Antoine Brodin <antoine@FreeBSD.org> | 2014-06-28 10:03:00 +0000 |
---|---|---|
committer | Antoine Brodin <antoine@FreeBSD.org> | 2014-06-28 10:03:00 +0000 |
commit | 2ec52ec10f811091ac9c83b4fa30f3746274d702 (patch) | |
tree | fd88f50dbbb9227fdd59ac1596ad3c198dea69b8 /Keywords | |
parent | 330c7721063b2604bb80cd4d2d0664e404196faf (diff) | |
download | ports-2ec52ec10f811091ac9c83b4fa30f3746274d702.tar.gz ports-2ec52ec10f811091ac9c83b4fa30f3746274d702.zip |
Use print/indexinfo to generate index of info pages
It is much more lightweight than ginstall-info (12kB vs 400kB) and
ginstall-info had a regression causing some index leftover on uninstall
Submitted by: bapt
Exp-run: self
With hat: portmgr
Notes
Notes:
svn path=/head/; revision=359680
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%/*} |