Op 29-9-2013 22:16, Stephan Witt schreef:
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. PNo. It will not fail. That's the effect of "-f". Stephan
I copied it from Makefile.in, so I guess it will be ok to leave it there, whether it can or cannot fail in practice.
Vincent