On Sat, 4 Mar 2000, Karl Berry wrote:

I don't usually like to remove features which don't get in our way: 
somebody somewhere might depend on them.

`localdir' isn't the problem here, the problem is dir.info.  So my
question is: do we need to consider a case where `dir.info' is a
normal Info file, not a DIR file with a top-level menu?

Reply via email to