diff options
Diffstat (limited to 'editors/jed/files/patch-info_jed.1in')
| -rw-r--r-- | editors/jed/files/patch-info_jed.1in | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/editors/jed/files/patch-info_jed.1in b/editors/jed/files/patch-info_jed.1in new file mode 100644 index 000000000000..04461a9a2fb5 --- /dev/null +++ b/editors/jed/files/patch-info_jed.1in @@ -0,0 +1,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) + |