>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Jean-Marc Lasgouttes wrote: >> I wonder whether the line rerun = >> runMakeIndex(onlyFilename(changeExtension(file, ".idx")), >> runparams); after that should use "rerun |= ..." instead. Juergen> Would be safer probably, even though that line will never be Juergen> reached if the first rerun becomes true. Juergen> Would it be o.k. for branch with this change? I think so. JMarc
