--- make.texinfo.orig Tue Sep 16 23:17:33 1997 +++ make.texinfo Thu Oct 16 00:56:23 1997 @@ -25,7 +25,7 @@ @syncodeindex pg cp @ifinfo -@dircategory The GNU make utility +@dircategory Programming & development tools @direntry * GNU make: (make.info). The GNU make utility. @end direntry