diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index f3a9346..72ab66e 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -151,10 +151,10 @@ DOT := @DOT@ DOXYGEN := @DOXYGEN@ GROFF := @GROFF@ GZIP := @GZIP@ -OCAMLC := @OCAMLC@ -OCAMLOPT := @OCAMLOPT@ -OCAMLDEP := @OCAMLDEP@ -OCAMLDOC := @OCAMLDOC@ +OCAMLC := "@OCAMLC@" +OCAMLOPT := "@OCAMLOPT@" +OCAMLDEP := "@OCAMLDEP@" +OCAMLDOC := "@OCAMLDOC@" POD2HTML := @POD2HTML@ POD2MAN := @POD2MAN@ RUNTEST := @RUNTEST@ |