diff options
Diffstat (limited to 'games/vera/02_direntry.diff')
-rw-r--r-- | games/vera/02_direntry.diff | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/games/vera/02_direntry.diff b/games/vera/02_direntry.diff new file mode 100644 index 0000000000..b84e91533f --- /dev/null +++ b/games/vera/02_direntry.diff @@ -0,0 +1,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., |