On Sat, 18 May 1996, Brian C. White wrote: > I noticed that my info "dir" has duplicated headings. Is this a > problem? Read the thread "problem with info" in April archive of debian-user. http://www.debian.org/Lists-Archives/debian-user-9604/ Guy