$OpenBSD: patch-setup_ml,v 1.4 2014/08/27 08:05:17 chrisz Exp $

use gmake

--- setup.ml.orig	Wed Aug 20 17:18:31 2014
+++ setup.ml	Wed Aug 20 17:18:43 2014
@@ -6725,7 +6725,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)]
@@ -6780,7 +6780,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)]
@@ -6833,7 +6833,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)]
