Package: jed / 1:0.99.19-7

improve-info-files.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
# improve-info-files.patch by Jörg Sommer <joerg@alea.gnuu.de>
#
# The (abandoned) info pages shipped by upstream miss the informations
# INFO-DIR-SECTION and INFO-DIR-ENTRY. This patch adds this
# information.

@DPATCH@

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