[Pkg-jed-commit] r180 - trunk/packages/jed-extra/debian
Guenter Milde
milde-guest at costa.debian.org
Fri Nov 11 15:05:07 UTC 2005
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);
More information about the Pkg-jed-commit
mailing list