2012-09-05 21:39:09 +00:00
|
|
|
$OpenBSD: patch-setup_ml,v 1.2 2012/09/05 21:39:09 avsm Exp $
|
|
|
|
--- setup.ml.orig Wed Sep 5 21:56:57 2012
|
|
|
|
+++ setup.ml Wed Sep 5 21:57:13 2012
|
|
|
|
@@ -5601,7 +5601,7 @@ let setup_t =
|
2012-08-19 00:27:50 +00:00
|
|
|
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)];
|
2012-09-05 21:39:09 +00:00
|
|
|
@@ -5654,7 +5654,7 @@ let setup_t =
|
2012-08-19 00:27:50 +00:00
|
|
|
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)];
|
2012-09-05 21:39:09 +00:00
|
|
|
@@ -5705,7 +5705,7 @@ let setup_t =
|
2012-08-19 00:27:50 +00:00
|
|
|
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)];
|