diff options
| -rw-r--r-- | devel/gmake/files/patch-ab | 2 | ||||
| -rw-r--r-- | devel/gmake381/files/patch-ab | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/devel/gmake/files/patch-ab b/devel/gmake/files/patch-ab index 3aa915146622..e3103e7e777e 100644 --- a/devel/gmake/files/patch-ab +++ b/devel/gmake/files/patch-ab @@ -4,7 +4,7 @@ @c %**start of header @setfilename make.info @settitle GNU @code{make} -+@dircategory Programming & development tools. ++@dircategory Programming & development tools +@direntry +* Gmake: (make). The GNU Make utility +@end direntry diff --git a/devel/gmake381/files/patch-ab b/devel/gmake381/files/patch-ab index 3aa915146622..e3103e7e777e 100644 --- a/devel/gmake381/files/patch-ab +++ b/devel/gmake381/files/patch-ab @@ -4,7 +4,7 @@ @c %**start of header @setfilename make.info @settitle GNU @code{make} -+@dircategory Programming & development tools. ++@dircategory Programming & development tools +@direntry +* Gmake: (make). The GNU Make utility +@end direntry |