diff options
| -rw-r--r-- | devel/gmake/files/patch-aa | 19 | ||||
| -rw-r--r-- | devel/gmake381/files/patch-aa | 19 |
2 files changed, 38 insertions, 0 deletions
diff --git a/devel/gmake/files/patch-aa b/devel/gmake/files/patch-aa new file mode 100644 index 000000000000..bbbfaf90f347 --- /dev/null +++ b/devel/gmake/files/patch-aa @@ -0,0 +1,19 @@ +*** Makefile.in.orig Sat May 21 22:48:31 1994 +--- Makefile.in Sun Nov 20 01:03:03 1994 +*************** +*** 94,100 **** + # Number to put on the man page filename. + manext = 1 + # Prefix to put on installed `make' binary file name. +! binprefix = + # Prefix to put on installed `make' man page file name. + manprefix = $(binprefix) + +--- 94,100 ---- + # Number to put on the man page filename. + manext = 1 + # Prefix to put on installed `make' binary file name. +! binprefix = g + # Prefix to put on installed `make' man page file name. + manprefix = $(binprefix) + diff --git a/devel/gmake381/files/patch-aa b/devel/gmake381/files/patch-aa new file mode 100644 index 000000000000..bbbfaf90f347 --- /dev/null +++ b/devel/gmake381/files/patch-aa @@ -0,0 +1,19 @@ +*** Makefile.in.orig Sat May 21 22:48:31 1994 +--- Makefile.in Sun Nov 20 01:03:03 1994 +*************** +*** 94,100 **** + # Number to put on the man page filename. + manext = 1 + # Prefix to put on installed `make' binary file name. +! binprefix = + # Prefix to put on installed `make' man page file name. + manprefix = $(binprefix) + +--- 94,100 ---- + # Number to put on the man page filename. + manext = 1 + # Prefix to put on installed `make' binary file name. +! binprefix = g + # Prefix to put on installed `make' man page file name. + manprefix = $(binprefix) + |