On Wed, 1 Sep 1999, Josip Rodin wrote: > A bit tougher problem will be the moving of the dir (/usr/info/dir) file, > but we'll have time to worry about that later.
I already worried about this. It just needs some coordination between the maintainer of base-files, which creates the default `dir' index file, and the maintainer of install-info, which updates this file. Again, see my old post about this :-) Thanks. -- "73ba5db18ad77ca4c623614822bb3433" (a truly random sig)
