Quoting Sven Luther <[EMAIL PROTECTED]>: > > So we need to force its removal before calling make .depend, I guess. > > Look at the fix which went into advi -3.
Yes, but I thought you fixed it in a previous upload because you thought it has already been fixed. Cheers, -- Jérôme Marant
