svn commit: r359680 - in head: Keywords Mk

[Gerald Pfeifer]

On Sat, 28 Jun 2014, Antoine Brodin wrote:
> Log:
>   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

Why do we require/use this even on systems that have texinfo 
(and install-info) in the base??

Gerald