>>>> "Oscar" == Oscar Figueiredo
<Oscar.Figueiredo(a)di.epfl.ch> writes:
>>>> "Michael" == Michael Sperber
<sperber(a)informatik.uni-tuebingen.de> writes:
Michael> I'll reiterate: The concept of "dir" files is broken.
Oscar> I'll reiterate also: they may be broken by concept but they allow you to do
Oscar> things you wouldn't be able to otherwise:
Oscar> - Provide a description for info files that have none (and there are many)
Oscar> - Add additional information around menu entries
Then those info files are broken.
Oscar> - Choose a specific order for display (without that the XEmacs user manual
Oscar> for instance would appear at a random place instead of the beginning of the
Oscar> Info buffer)
Oscar> - Group related info files together
The way it is out here, related info files are precisely not grouped
together in dir files because they come from unrelated info
directories. The grouping is actually better without them.
Oscar> - Choose precisely which info files you want displayed in the main menu
I want all of them in the main menu by default. I also strongly
believe the default should be to display all of them by default ---
principle of least surprise,
Michael> The current behavior amounts to telling the user something she
Michael> already knows on every single startup.
Michael> Options:
Michael> - If we don't consider "dir" files broken, then XEmacs should
always
Michael> use the dir files which are there without complaining.
Oscar> (setq Info-rebuild-outdated-dir 'never) does exactly this
Then it should be the default.
Michael> - If we do, XEmacs should always rebuild on the fly, again without
Michael> complaining.
Oscar> (setq Info-rebuild-outdated-dir 'always) does exactly this
I should have been clearer: It should build the dir entries on the
fly and not write (not even attempt to write) dir files.
Oscar> Do what you want, the option is yours. This is indicated in the NEWS file.
Sure the option is mine. But we're talking about the default here
which is wrong the way it is currently.
--
Cheers =8-} Chipsy
Friede, Völkerverständigung und überhaupt blabla