editors/jed/files/patch-info_jed.1in


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

--- info/jed.1in.orig	Thu Apr 28 15:48:52 2005
+++ info/jed.1in	Thu Apr 28 15:54:43 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
+
 
 File: jed.info,  Node: Top,  Next: Introduction,  Up: (dir)