> Date: Wed, 23 Jan 2008 00:31:37 +0100 > From: Benno Schulenberg <[EMAIL PROTECTED]> > Cc: Eli Zaretskii <[EMAIL PROTECTED]>, Karl Berry <[EMAIL PROTECTED]> > > Eli Zaretskii wrote: > > > Date: Mon, 21 Jan 2008 19:03:49 -0600 > > > From: [EMAIL PROTECTED] (Karl Berry) > > > > > > I changed info -O info to silently use info-stnd. > > > > So this means that "info info" reads one manual, while "info -O > > info" reads another? Is that a good UI? > > Why not make 'info info' always read info-stnd?
That might be a better solution, provided that "info -f info" still shows info.info, as it does today.
