File: improve-info-files.patch

package info (click to toggle)
jed 1%3A0.99.20~pre.197%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,452 kB
  • sloc: ansic: 49,644; sh: 3,250; makefile: 476
file content (14 lines) | stat: -rw-r--r-- 461 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
Description: Add directory information for the info documentation
Author: Jörg Sommer <joerg@alea.gnuu.de>
Forwarded: http://lists.jedsoft.org/lists/jed-users/2021/0000062.html
Reviewed-by: Rafael Laboissière <rafael@debian.org>
Last-Update: 2021-12-15

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