Fail to install current jed-extra

[Rafael Laboissiere]

* G. Milde <g.milde at web.de> [2005-11-17 12:15]:

> see the new commited build-from-scratch in jed-extra/utils/
> 
> It should be started from some "clean space" (a temporary dir, say).
> It works here.

It doesn't here, but I just committed a fix to make it work.  Also, I
changed "svn export" to "svn co", such that we get all the .svn/
directories in the build tree.  They are prevented of inclusion in the
package thanks to the -i option of debuild.

Build now works but, unfortunately, installation still fails here:

$ debi
Selecting previously deselected package jed-extra.
(Reading database ... 79234 files and directories currently installed.)
Unpacking jed-extra (from jed-extra_2.0-1_all.deb) ...
Setting up jed-extra (2.0-1) ...
no SLang files in /root/jed/jed-extra/from-scratch/jed-extra/
Traceback: error
***string***:1:verror:Run-Time Error
/usr/share/jed/jed-extra/make_ini.sl:485:update_ini:Run-Time Error
  Local variables for update_ini:
        String_Type dir = "/root/jed/jed-extra/from-scratch/jed-extra/"
        String_Type buf = "*scratch*"
/usr/share/jed/jed-extra/make_ini.sl:505:<top-level>:Run-Time Error
Traceback: evalfile
/usr/share/jed/lib/site.sl:1176:require:Run-Time Error
  Local variables for require:
        String_Type f = "make_ini"
        String_Type file = "make_ini"
/usr/share/jed/compile/jed-extra-preparse.sl:9:<top-level>:Run-Time Error


-- 
Rafael