Use '@unexec rmdir ...' to get rid of stray doc directories on deinstall.

This commit is contained in:
Steve Price 1998-02-18 04:16:55 +00:00
parent 6b7bcebd1a
commit 7d1e6449bd
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=9780

View file

@ -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