diff options
| author | Steve Price <steve@FreeBSD.org> | 1998-02-18 04:16:55 +0000 |
|---|---|---|
| committer | Steve Price <steve@FreeBSD.org> | 1998-02-18 04:16:55 +0000 |
| commit | 7d1e6449bdcd80b67bcae82b58c95d73ea7c3e4e (patch) | |
| tree | b4694dcfa30d86d5492d5b5a8d7238acb8ec32f8 /lang/hugs | |
| parent | Yipes, in the procss of marking this port BROKEN, I broke it even (diff) | |
Use '@unexec rmdir ...' to get rid of stray doc directories on deinstall.
Notes
Notes:
svn path=/head/; revision=9780
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 fca52214f292..7e9e3b2a29b7 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 |