removing file doing uninstall

[Eitan Adler]

On 27 April 2013 09:11, Carmel <carmel_ny at hotmail.com> wrote:
> @unexec if %%PORTDOCS%%%%DOCSDIR%%/Release.html; then rm -f %%PORTDOCS%%%%DOCSDIR%%/Release.html; fi
>
> However, while "portlint -A" has no problem with it, I receive:
>
> share/doc/scamp/Release.html: not found

To explain this error:  note that if refers to a command, not to
file's existence.  You were missing [ -e $file ].

As others of had said, this is uneeded though.



-- 
Eitan Adler