summaryrefslogtreecommitdiffstats
path: root/games/vera/02_direntry.diff
blob: b84e91533f63668bc59d491f3be2ffcd3d2b754a (plain)
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
Description: Add a direntry, dircategory
Author: Ryan Kavanagh <rak@debian.org>
Origin: vendor
Forwarded: no
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
Index: vera/vera.texi
===================================================================
--- vera.orig/vera.texi	2021-01-05 13:32:01.209209794 -0500
+++ vera/vera.texi	2021-01-05 13:32:01.209209794 -0500
@@ -22,15 +22,12 @@
 @set AUTHOREMAIL < ohei [at] snafu . de >
 @c End of variables
 
-@ignore
 @ifinfo
-@format
-START-INFO-DIR-ENTRY
+@dircategory Dictionaries
+@direntry
 * V.E.R.A.:  (vera).        Virtual Entity of Relevant Acronyms
-END-INFO-DIR-ENTRY
-@end format
+@end direntry
 @end ifinfo
-@end ignore
 
 @ifinfo
 This is a special GNU edition of V.E.R.A.,