Fail to install current jed-extra

[Rafael Laboissiere]

* Rafael Laboissiere <rafael at debian.org> [2005-11-17 18:37]:

> The variable dir should have the value "/usr/share/jed/jed-extra" and
> not the current working directory as when I run debi.  As I wrote
> above, I am lost.

Not so lost now: I found the following in make_ini.sl:

% run update_ini, if called as a batch process
if (BATCH)
  update_ini();

If update_ini is called without arguments as above, then it will set the
dir variable to the current directory via buffer_dirname(), doesn't it?
This may explain where the problem comes from.

-- 
Rafael