>>>> "Michael" == Michael Sperber
<sperber(a)informatik.uni-tuebingen.de> writes:
Oscar> - Choose precisely which info files you want displayed in the main menu
Michael> I want all of them in the main menu by default. I also strongly
Michael> believe the default should be to display all of them by default ---
Michael> principle of least surprise,
It is naturally the default for autogenerated dir files.
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
Michael> Then it should be the default.
Would that be the default, I would have coded the autogeneration for almost
nothing... But it's a arguable 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
Michael> I should have been clearer: It should build the dir entries on the
Michael> fly and not write (not even attempt to write) dir files.
Having dir files considerably speeds up the initial building of the Info buffer
as you don't need to open all the info files and look for the @direntry in each
of them. If you (setq Info-rebuild-outdated-dir 'always) then you can simply
ignore the existence of dir files, they're used as a cache and nothing more.
With this setting XEmacs never issues a warning about dir files, it writes them
to disk when it can and builds them as temporary when it can't.
Oscar