Re: A target that's even more bootstrap?

[Eli Zaretskii]

> From: Lars Ingebrigtsen <address@hidden>
> Cc: address@hidden
> Date: Thu, 20 Jun 2019 18:27:40 +0200
> 
>       [ -d info ] && rmdir --ignore-fail-on-non-empty info
> 
> If that's non-supported syntax, we can just delete the line and let the
> directory live on.

I don't think it's portable enough.  AFAIK, it's specific to GNU
rmdir.