diff options
| -rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 869d33287..bdb8b12ac 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -84,7 +84,7 @@ ocaml2to3.ml: ocaml2to3.mll $(CAMLLEX) ocaml2to3.mll install:: - cp ocam2to3 $(BINDIR)/ocaml2to3 + cp ocaml2to3 $(BINDIR)/ocaml2to3 clean:: rm -f ocaml2to3 ocaml2to3.ml |