mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-26 05:02:18 +00:00
Use @dirrm instead of @unexec rmdir.
Suggested by: Satoshi Asami <asami@FreeBSD.ORG>
This commit is contained in:
parent
7b86d7e787
commit
8be073c255
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=9784
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user