2a6e96791c
From Christopher Zimmermann <madroach@gmerlin.de> -- OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way It supports: - character encoding/decoding using iconv - manipulation of text as UTF-8 encoded strings - localised text functions such as compare, upper, ... - human readable regular expression inside patterns
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)];
|