diff options
author | steve <steve@FreeBSD.org> | 1998-02-18 04:16:55 +0000 |
---|---|---|
committer | steve <steve@FreeBSD.org> | 1998-02-18 04:16:55 +0000 |
commit | 4dc32a42b64c43b8f667988ce3dfa1f830ec5103 (patch) | |
tree | 7457171c9cc4614133c544933a84c71c1d046902 /lang/hugs | |
parent | 27e676d3423c638b6916574ca2b9844ab5f9f8e5 (diff) | |
download | FreeBSD-ports-4dc32a42b64c43b8f667988ce3dfa1f830ec5103.zip FreeBSD-ports-4dc32a42b64c43b8f667988ce3dfa1f830ec5103.tar.gz |
Use '@unexec rmdir ...' to get rid of stray doc directories on deinstall.
Diffstat (limited to 'lang/hugs')
-rw-r--r-- | lang/hugs/pkg-plist | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lang/hugs/pkg-plist b/lang/hugs/pkg-plist index fca5221..7e9e3b2 100644 --- a/lang/hugs/pkg-plist +++ b/lang/hugs/pkg-plist @@ -311,3 +311,13 @@ share/doc/hugs/index.html share/doc/hugs/hugs.man share/doc/hugs/hugs.hlp share/doc/hugs/Makefile +@unexec rmdir %D/share/doc/hugs/haskore-html 2> /dev/null || true +@unexec rmdir %D/share/doc/hugs/library 2> /dev/null || true +@unexec rmdir %D/share/doc/hugs/libs-html 2> /dev/null || true +@unexec rmdir %D/share/doc/hugs/manual-html 2> /dev/null || true +@unexec rmdir %D/share/doc/hugs/report 2> /dev/null || true +@unexec rmdir %D/share/doc/hugs/tutorial 2> /dev/null || true +@unexec rmdir %D/share/doc/hugs 2> /dev/null || true +@unexec rmdir %D/share/hugs/demos 2> /dev/null || true +@unexec rmdir %D/share/hugs/lib 2> /dev/null || true +@unexec rmdir %D/share/hugs 2> /dev/null || true |