--- make.info-orig Fri Sep 19 20:41:07 1997 +++ make.info Fri Jan 30 21:28:52 1998 @@ -1,7 +1,7 @@ This is Info file make.info, produced by Makeinfo version 1.67 from the input file make.texinfo. -INFO-DIR-SECTION The GNU make utility +INFO-DIR-SECTION Programming & development tools START-INFO-DIR-ENTRY * GNU make: (make.info). The GNU make utility. END-INFO-DIR-ENTRY --- make.texinfo-orig Tue Sep 16 16:17:33 1997 +++ make.texinfo Fri Jan 30 21:29:56 1998 @@ -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