diff options
Diffstat (limited to 'misc/vera/files/patch-vera.texi')
| -rw-r--r-- | misc/vera/files/patch-vera.texi | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/misc/vera/files/patch-vera.texi b/misc/vera/files/patch-vera.texi new file mode 100644 index 000000000000..4ec11ce83e7f --- /dev/null +++ b/misc/vera/files/patch-vera.texi @@ -0,0 +1,13 @@ +--- vera.texi.orig Tue Mar 9 23:29:09 1999 ++++ vera.texi Tue Mar 9 23:34:16 1999 +@@ -2,6 +2,10 @@ + @c %**start of header + @setfilename vera.info + @settitle V.E.R.A@. --- Virtual Entity of Relevant Acronyms ++@dircategory Miscellaneous ++@direntry ++* VERA: (vera). A list dealing with computational acronyms. ++@end direntry + @setchapternewpage on + @c %**end of header + |