Am 29.09.2013 um 21:48 schrieb Pavel Sanda <sa...@lyx.org>: > Stephan Witt wrote: >> I cannot imagine how a "rm -f" can fail, so the leading minus is not needed. > > If DEPDIR doesn't exists it will fail. P
No. It will not fail. That's the effect of "-f". Stephan
