Loading jed-extra-init.sl at startup

[G. Milde]

On 10.11.05, Rafael Laboissiere wrote:
> Is there any strong reason for not loading jed-extra-init.sl(c) from
> /etc/jed.d/50jed-extra.sl?

Yes, much of jed-extra-init.sl is now auto-generated in
JED_ROOT/jed-extra/ini.sl and loaded via:

% append the default jed-extra library dir and evaluate its ini.sl file
append_libdir($1, 1);

The remainder should be moved from jed-extra-init.sl directly to
50jed-extra.sl so it becomes configurable. (The time-loss by moving the
code to a not preparsed file should be negligible (and compensated by
inlining the code instead of evaluating one more file).

I plan to replace the compile_slfiles_in_dir("/usr/share/jed/site-lib");
in jed-extra-preparse.sl with a call to make ini, which will in one shot

   * preparse
   * generate dfa files
   * generate ini.sl
   * generate online help

Guenter

-- 
G.Milde web.de