editors/jed/files/patch-info_jed.info


1
2
3
4
5
6
7
8
9
10
11
12
13
14

--- info/jed.info.orig	Thu Apr 28 15:48:43 2005
+++ info/jed.info	Thu Apr 28 15:54:22 2005
@@ -1,6 +1,11 @@
 This is Info file jed.info, produced by Makeinfo-1.55 from the input
 file jed.ti.
 
+INFO-DIR-SECTION Miscellaneous
+START-INFO-DIR-ENTRY
+* JED: (jed).                  JED editor documentation.
+END-INFO-DIR-ENTRY
+
 
 Indirect:
 jed.1in: 83