On Thu, Aug 01, 2002 at 13:36:54 +1000, Iain Truskett wrote: > What doesn't it give? It's not a set of parameters you can give to > configure, but then one can edit config.h after that anyway.
The user doesn't have access to config.h. > What exactly do you want? Read what Sven wrote (concerning the manual): Default: "/path/file" (unless specified by --some-option) If the user wants to know if he can trust to the default value given in the manual, he needs to know the options given to compile the version of Mutt he's using (and perhaps more, like some environment variables). -- 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
