[Pkg-jed-commit] r180 - trunk/packages/jed-extra/debian

[Guenter Milde]

Author: milde-guest
Date: 2005-11-11 15:05:07 +0000 (Fri, 11 Nov 2005)
New Revision: 180

Modified:
   trunk/packages/jed-extra/debian/jed-extra-preparse.sl
Log:
use make_ini to preparse and create ini.sl and online help


Modified: trunk/packages/jed-extra/debian/jed-extra-preparse.sl
===================================================================
--- trunk/packages/jed-extra/debian/jed-extra-preparse.sl	2005-11-11 14:34:13 UTC (rev 179)
+++ trunk/packages/jed-extra/debian/jed-extra-preparse.sl	2005-11-11 15:05:07 UTC (rev 180)
@@ -1,5 +1,18 @@
 % -*- slang -*-
 
+% Location of the jed-extra package's library dir
+$1 = "/usr/share/jed/jed-extra";
+
+% add the jed-extra library dir to the jed library path
+set_jed_library_path($1 + "," + get_jed_library_path());
+
+require("make_ini");
+
+update_ini($1);
+
+# stop
+% the old code without use of make_ini
+
 define compile_slfiles_in_dir(dir)
 {
    message ("Byte compiling SLang files in "+dir);