Am 29.09.2013 um 22:24 schrieb Vincent van Ravesteijn <v...@lyx.org>:
> 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. P >> No. 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. Yes, of course. Stephan