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
|
