diff options
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 |
