diff options
| author | Jimmy Olgeni <olgeni@FreeBSD.org> | 2001-02-24 00:23:32 +0000 |
|---|---|---|
| committer | Jimmy Olgeni <olgeni@FreeBSD.org> | 2001-02-24 00:23:32 +0000 |
| commit | e79ed0e9b3bbd0d8b33d7e0720eda9c657ea35a4 (patch) | |
| tree | 3662036e63f589230dde09d3719cc937fe2c54cf /lang/ocaml/Makefile | |
| parent | 0d57c57582081631b78fc0c346290db422c5071b (diff) | |
| download | ports-e79ed0e9b3bbd0d8b33d7e0720eda9c657ea35a4.tar.gz ports-e79ed0e9b3bbd0d8b33d7e0720eda9c657ea35a4.zip | |
Notes
Diffstat (limited to 'lang/ocaml/Makefile')
| -rw-r--r-- | lang/ocaml/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index 2a59f84759a2..65e8ff13a129 100644 --- a/lang/ocaml/Makefile +++ b/lang/ocaml/Makefile @@ -56,6 +56,7 @@ post-install: .if !defined(NOPORTDOCS) @${MKDIR} ${PREFIX}/share/doc/ocaml/html @cd ${WRKDIR}/htmlman; ${INSTALL_DATA} * ${PREFIX}/share/doc/ocaml/html + @${RM} ${PREFIX}/share/doc/ocaml/html/*~ @${CP} ${DISTDIR}/${DISTNAME}-refman.ps.gz ${PREFIX}/share/doc/ocaml .endif @strip ${PREFIX}/bin/ocamlrun ${PREFIX}/bin/ocamlyacc |