[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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?

Reply to: