K 10
svn:author
V 7
antoine
K 8
svn:date
V 27
2014-06-28T10:03:00.014521Z
K 7
svn:log
V 243
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

END