diff options
| -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 72ab66e..f3a9346 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@ |