mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-31 21:57:12 +00:00
01a5cf754d
PR: 4747 Submitted by: jseger@freebsd.org Please note that jserger decided to be the maintainer of this port.
12 lines
309 B
Plaintext
12 lines
309 B
Plaintext
--- 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
|