diff options
Diffstat (limited to 'devel/gmake381/files')
| -rw-r--r-- | devel/gmake381/files/patch-ab | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/devel/gmake381/files/patch-ab b/devel/gmake381/files/patch-ab new file mode 100644 index 000000000000..5cb2b697aacc --- /dev/null +++ b/devel/gmake381/files/patch-ab @@ -0,0 +1,13 @@ +--- make.texinfo.orig Mon Jul 15 01:30:15 1996 ++++ make.texinfo Thu Jun 12 20:37:09 1997 +@@ -2,6 +2,10 @@ + @c %**start of header + @setfilename make.info + @settitle GNU @code{make} ++@dircategory Programming & development tools. ++@direntry ++* Gmake: (make). The GNU Make utility ++@end direntry + @setchapternewpage odd + @c %**end of header + |