Re: Possible problem with "install-info"
On Sat, 18 May 1996, Brian C. White wrote:
>I noticed that my info "dir" has duplicated headings. Is this a
There are no doubt a large number of mangled dir files among the
debian user population by now. A week or three ago, someone (I
don't recall who I should credit for this) posted a script to
attempt a repair. I suggested at that time that the dir file
repair functionality be integrated with install-info so that
it would examine the dir file when run and effect any needed
repairs. Is this reasonable? If so, can it be put fairly high
on the to-do list?