31 lines
1.4 KiB
Plaintext
31 lines
1.4 KiB
Plaintext
|
$OpenBSD: patch-setup_ml,v 1.1.1.1 2012/08/18 22:49:29 avsm Exp $
|
||
|
|
--- setup.ml.orig Thu Aug 16 19:20:12 2012
|
||
|
|
+++ setup.ml Thu Aug 16 19:20:29 2012
|
||
|
|
@@ -5577,7 +5577,7 @@ let setup_t =
|
||
|
|
CustomPlugin.cmd_main =
|
||
|
|
[
|
||
|
|
(OASISExpr.EBool true,
|
||
|
|
- ("make", ["-C"; "manual"; "manual.pdf"]))
|
||
|
|
+ ("gmake", ["-C"; "manual"; "manual.pdf"]))
|
||
|
|
];
|
||
|
|
cmd_clean = [(OASISExpr.EBool true, None)];
|
||
|
|
cmd_distclean = [(OASISExpr.EBool true, None)];
|
||
|
|
@@ -5606,7 +5606,7 @@ let setup_t =
|
||
|
|
CustomPlugin.cmd_main =
|
||
|
|
[
|
||
|
|
(OASISExpr.EBool true,
|
||
|
|
- ("make", ["-C"; "manual"; "manual.pdf"]))
|
||
|
|
+ ("gmake", ["-C"; "manual"; "manual.pdf"]))
|
||
|
|
];
|
||
|
|
cmd_clean = [(OASISExpr.EBool true, None)];
|
||
|
|
cmd_distclean = [(OASISExpr.EBool true, None)];
|
||
|
|
@@ -5633,7 +5633,7 @@ let setup_t =
|
||
|
|
CustomPlugin.cmd_main =
|
||
|
|
[
|
||
|
|
(OASISExpr.EBool true,
|
||
|
|
- ("make", ["-C"; "manual"; "manual.pdf"]))
|
||
|
|
+ ("gmake", ["-C"; "manual"; "manual.pdf"]))
|
||
|
|
];
|
||
|
|
cmd_clean = [(OASISExpr.EBool true, None)];
|
||
|
|
cmd_distclean = [(OASISExpr.EBool true, None)];
|