Quoting Sven Luther <sven.luther@wanadoo.fr>: > > 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