Commit d9f53bbd811869cbbd189399d2123918e4183a07

Tom Tromey 1997-05-04T21:50:12

avoid Debian install-info handle sources in other directories