diff options
Diffstat (limited to 'misc/vera/files/patch-aa')
| -rw-r--r-- | misc/vera/files/patch-aa | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/vera/files/patch-aa b/misc/vera/files/patch-aa index 090c9a3ad1a4..4ec11ce83e7f 100644 --- a/misc/vera/files/patch-aa +++ b/misc/vera/files/patch-aa @@ -6,7 +6,7 @@ @settitle V.E.R.A@. --- Virtual Entity of Relevant Acronyms +@dircategory Miscellaneous +@direntry -+* VERA: (vera). A list dealing with computational acronyms. ++* VERA: (vera). A list dealing with computational acronyms. +@end direntry @setchapternewpage on @c %**end of header |