[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info: fresher stuff hidden
From: |
Richard Stallman |
Subject: |
Re: Info: fresher stuff hidden |
Date: |
Fri, 01 Dec 2006 08:36:43 -0500 |
No, it shouldn't: it's not uncommon for a system to have several DIR
files along INFOPATH with identical entries pointing to the same
manuals. It would be a nuisance to see all those identical entries
line up in my face.
Well, it could check whether the entries are identical
and keep only the non-duplicates.
- Re: Info: fresher stuff hidden,
Richard Stallman <=