diff options
Diffstat (limited to 'gnu/packages/patches')
-rw-r--r-- | gnu/packages/patches/rottlog-direntry.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gnu/packages/patches/rottlog-direntry.patch b/gnu/packages/patches/rottlog-direntry.patch new file mode 100644 index 0000000000..176d91dc0f --- /dev/null +++ b/gnu/packages/patches/rottlog-direntry.patch @@ -0,0 +1,18 @@ +Add a direntry to the Rottlog info manual. + +diff --git a/doc/rottlog.texi b/doc/rottlog.texi +index 0ba8019..0f29916 100644 +--- a/doc/rottlog.texi ++++ b/doc/rottlog.texi +@@ -18,6 +18,11 @@ Documentation License.'' + @end quotation + @end copying + ++@dircategory System administration ++@direntry ++* Rottlog: (rottlog). The GNU log management utility. ++@end direntry ++ + @paragraphindent none + + @iftex |