From be5fdb46c931ec31dc4237130a27123edb10d873 Mon Sep 17 00:00:00 2001 From: steve Date: Wed, 18 Feb 1998 04:45:41 +0000 Subject: Use @dirrm instead of @unexec rmdir. Suggested by: Satoshi Asami --- lang/hugs/pkg-plist | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'lang/hugs') diff --git a/lang/hugs/pkg-plist b/lang/hugs/pkg-plist index 7e9e3b2..67e827a 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 -- cgit v1.1