[Pkg-jed-commit] r129 - trunk/packages/jed/debian/patches

[Guenter Milde]

Author: milde-guest
Date: 2005-11-04 11:36:03 +0000 (Fri, 04 Nov 2005)
New Revision: 129

Modified:
   trunk/packages/jed/debian/patches/50_jed-manpage.dpatch
Log:
Changes in the FILES section.
Adapted to the Debian startup scheme (etc/jed.d/)
Hint on ~/.jed/jed.rc if ~/.jed exists


Modified: trunk/packages/jed/debian/patches/50_jed-manpage.dpatch
===================================================================
--- trunk/packages/jed/debian/patches/50_jed-manpage.dpatch	2005-11-04 10:04:54 UTC (rev 128)
+++ trunk/packages/jed/debian/patches/50_jed-manpage.dpatch	2005-11-04 11:36:03 UTC (rev 129)
@@ -1,33 +1,39 @@
 #! /bin/sh /usr/share/dpatch/dpatch-run
 ## 50_jed-manpage.dpatch by Rafael Laboissiere <rafael at debian.org>
 ##
-## DP: Explain option -a <joerg at alea.gnuu.de>
 ## DP: Discribe user config files, if jed-extra is installed (#210274)
 
 @DPATCH@
-diff -urNad jed-B0.99-17.56/doc/manual/jed.1 /tmp/dpep.I28qj8/jed-B0.99-17.56/doc/manual/jed.1
---- jed-B0.99-17.56.orig/doc/manual/jed.1	2005-04-15 19:42:29.026844968 +0200
-+++ jed-B0.99-17.56/doc/manual/jed.1	2005-04-15 19:49:03.842364856 +0200
-@@ -407,6 +414,22 @@
+diff -urNad jed-B0.99-17.135/doc/manual/jed.1 /tmp/dpep.I28qj8/jed-B0.99-17.135/doc/manual/jed.1
+--- jed-B0.99-17.135.orig/doc/manual/jed.1	2005-10-24 03:56:54.000000000 +0200
++++ jed-B0.99-17.135/doc/manual/jed.1	2005-11-04 11:04:59.000000000 +0100
+@@ -402,18 +402,26 @@
+ .I JED_ROOT/lib/*.sl
+ .RS
+ these are the default runtime jed slang files
++(packages like jed-extra can define additional slang library directories)
+ .RE
+ .I JED_ROOT/lib/site.sl
+ .RS
+ This is the default startup file.
+ .RE
+-.I /etc/jed.rc
++.I /etc/jed.d/*.sl
+ .RS
+-The system wide configuration file.
++The system wide configuration files 
++(this is a special Debian feature).
+ .RE
  .I ~/.jedrc
  .RS
- Per user configuration file.
+-Per user configuration file.
++Per user configuration file, or
 +.RE
-+.I ~/.jedrc or ~/.jed/jed.rc
++.I ~/.jed/jed.rc
 +.RS
-+If the Debian package jed-extra is installed, the user configuration can
-+also be in one of these files. (See
-+.I /etc/jed-init.d/05home-lib.sl
-+)
-+.RE
-+.I ~/.jed/lib/
-+.RS
-+If the Debian package jed-extra is installed, this directory is searched
-+for .sl files like
-+.I /usr/share/jed/lib/
-+. (See
-+.I /etc/jed-init.d/05home-lib.sl
-+)
++per user configuration file if the Jed_Home_Directory
++.I ~/.jed/
++exists.
  .SH AUTHOR
  .I "John E. Davis" <davis at space.mit.edu>
  .RS