On Fri, Aug 02, 2002 at 16:39:57 +1000, Cameron Simpson wrote: > On 19:15 31 Jul 2002, Vincent Lefevre <[EMAIL PROTECTED]> wrote: > | On Wed, Jul 31, 2002 at 18:26:40 +0200, Sven Guckes wrote: > | > * Vincent Lefevre <[EMAIL PROTECTED]> [2002-07-31 15:14]: > | > > > the default value should *always* be documented. > | > > What do you mean by "documented"? > | > the manual to "muttrc" should show it. > | OK, so what happens if two Mutt binaries use different default values? > > The installed manual should be preprocessed during the build to have the > correct defaults.
But how can it have the correct defaults since there is only one manual for several binaries? -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100% validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des Jeux Mathématiques et Logiques, TETRHEX, etc. Work: CR INRIA - computer arithmetic / SPACES project at LORIA