diff options
| author | olgeni <olgeni@FreeBSD.org> | 2001-02-24 08:23:32 +0800 |
|---|---|---|
| committer | olgeni <olgeni@FreeBSD.org> | 2001-02-24 08:23:32 +0800 |
| commit | dc4697c90cf8b206797f9e5f061b750ae7fd03e0 (patch) | |
| tree | 55f814013202477dc24d1947378dad3890a20ef4 /lang | |
| parent | f0a34cb9104d3b75ce6d50d450c8c872ad88bea3 (diff) | |
| download | freebsd-ports-graphics-dc4697c90cf8b206797f9e5f061b750ae7fd03e0.tar.gz freebsd-ports-graphics-dc4697c90cf8b206797f9e5f061b750ae7fd03e0.tar.zst freebsd-ports-graphics-dc4697c90cf8b206797f9e5f061b750ae7fd03e0.zip | |
Remove backup file from html documentation.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/ocaml/Makefile | 1 | ||||
| -rw-r--r-- | lang/ocaml/pkg-plist | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index 2a59f84759a..65e8ff13a12 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 diff --git a/lang/ocaml/pkg-plist b/lang/ocaml/pkg-plist index 68ac4eaa3f7..3d6e87674df 100644 --- a/lang/ocaml/pkg-plist +++ b/lang/ocaml/pkg-plist @@ -373,7 +373,6 @@ share/doc/ocaml/html/manual010.html share/doc/ocaml/html/manual011.html share/doc/ocaml/html/manual012.html share/doc/ocaml/html/manual013.html -share/doc/ocaml/html/manual013.html~ share/doc/ocaml/html/manual014.html share/doc/ocaml/html/manual015.html share/doc/ocaml/html/manual016.html |