diff options
Diffstat (limited to 'lang/ocaml/Makefile')
| -rw-r--r-- | lang/ocaml/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index cd60d62d8fc3..9b7398c8114e 100644 --- a/lang/ocaml/Makefile +++ b/lang/ocaml/Makefile @@ -3,7 +3,7 @@ # Date created: 24 December 1996 # Whom: Kiriyama Kazuhiko <kiri@kiri.toba-cmt.ac.jp> # -# $Id: Makefile,v 1.7 1999/05/09 16:39:54 steve Exp $ +# $Id: Makefile,v 1.8 1999/05/31 05:14:39 steve Exp $ # DISTNAME= ocaml-2.02 @@ -38,7 +38,7 @@ post-install: .if !defined(NOPORTDOCS) @${MKDIR} ${PREFIX}/share/doc/ocaml/html @cd ${WRKDIR}/htmlman; ${INSTALL_DATA} * ${PREFIX}/share/doc/ocaml/html - @cp ${DISTDIR}/${DISTNAME}-refman.ps.gz ${PREFIX}/share/doc/ocaml + @${CP} ${DISTDIR}/${DISTNAME}-refman.ps.gz ${PREFIX}/share/doc/ocaml .endif @strip ${PREFIX}/bin/ocamlrun ${PREFIX}/bin/ocamlyacc |