[jed-users] Add INFO-DIR-* information to info files

[Rafael Laboissière <rafael@xxxxxxxxxx>]

Dear JED developers,

In the Debian package for JED, we are applying the patch attached to 
this message, which adds the INFO-DIR-SECTION and INFO-DIR-ENTRY 
information to the jed.info and jed.{1,2,3}in files shipped in the 
tarball. This is mandatory in Debian.

Please, consider integrating this change in the next release tarball.

Best,

Rafael Laboissière

Description: Add directory information for the info documentation
 The (abandoned) info pages shipped by upstream miss the information
 INFO-DIR-SECTION and INFO-DIR-ENTRY. This patch adds this
 information.
Author: Jörg Sommer <joerg@xxxxxxxxxxxx>
Forwarded: no
Last-Update: 2009-11-21

diff --git a/info/jed.1in b/info/jed.1in
--- a/info/jed.1in
+++ b/info/jed.1in
@@ -1,3 +1,8 @@
+INFO-DIR-SECTION Editors
+START-INFO-DIR-ENTRY
+* JED: (jed).         The JED editor
+END-INFO-DIR-ENTRY
+
 
 File: jed.info,  Node: Top,  Next: Introduction,  Up: (dir)
 
diff --git a/info/jed.2in b/info/jed.2in
--- a/info/jed.2in
+++ b/info/jed.2in
@@ -1,3 +1,8 @@
+INFO-DIR-SECTION Editors
+START-INFO-DIR-ENTRY
+* JED: (jed).         The JED editor
+END-INFO-DIR-ENTRY
+
 
 File: jed.info,  Node: Tab Issues.,  Next: Searching,  Prev: Marking Text (Point and Mark),  Up: Basic Editing
 
diff --git a/info/jed.3in b/info/jed.3in
--- a/info/jed.3in
+++ b/info/jed.3in
@@ -1,3 +1,8 @@
+INFO-DIR-SECTION Editors
+START-INFO-DIR-ENTRY
+* JED: (jed).         The JED editor
+END-INFO-DIR-ENTRY
+
 
 File: jed.info,  Node: Setting Keys,  Next: Predefined Variables,  Up: Customization
 
diff --git a/info/jed.info b/info/jed.info
--- a/info/jed.info
+++ b/info/jed.info
@@ -1,3 +1,4 @@
+INFO-DIR-SECTION Editors
 START-INFO-DIR-ENTRY
 * JED: (jed).         The JED editor
 END-INFO-DIR-ENTRY