diff options
author | Steve Price <steve@FreeBSD.org> | 1998-02-18 04:45:41 +0000 |
---|---|---|
committer | Steve Price <steve@FreeBSD.org> | 1998-02-18 04:45:41 +0000 |
commit | 8be073c255b064f103e4fb4bf26f179ff3201ea8 (patch) | |
tree | 0689915723a2ac9915b46c07e8bb90f3ce65194c | |
parent | Activate ppm2fli port. (diff) |
Use @dirrm instead of @unexec rmdir.
Suggested by: Satoshi Asami <asami@FreeBSD.ORG>
Notes
Notes:
svn path=/head/; revision=9784
-rw-r--r-- | lang/hugs/pkg-plist | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/lang/hugs/pkg-plist b/lang/hugs/pkg-plist index 7e9e3b2a29b7..67e827aa0c64 100644 --- a/lang/hugs/pkg-plist +++ b/lang/hugs/pkg-plist @@ -311,13 +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 +@dirrm share/doc/hugs/haskore-html +@dirrm share/doc/hugs/library +@dirrm share/doc/hugs/libs-html +@dirrm share/doc/hugs/manual-html +@dirrm share/doc/hugs/report +@dirrm share/doc/hugs/tutorial +@dirrm share/doc/hugs +@dirrm share/hugs/demos +@dirrm share/hugs/lib +@dirrm share/hugs |