ports/Keywords
Antoine Brodin 2ec52ec10f 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
2014-06-28 10:03:00 +00:00
..
2014-04-12 03:39:02 +00:00