>>>>> "Michael" == Michael Schmitt <[EMAIL PROTECTED]> writes:
Michael> Jean-Marc, have you edited Makefile.in.in by hand? It seems Michael> that two lines were duplicated. See attached patch. No, it is because I already had a patch similar to yours in my tree and forgot to remove it. The style of diffs that you used mean the no context is checked by 'patch'. Thanks. JMarc
