OoO Vers la fin de l'après-midi du vendredi 04 janvier 2008, vers 16:10, Bernd Zeimetz <bernd@bzed.de> disait: >> The file exists in the upstream tarball, so I cannot remove it. > sure, you can. Just delete it in the clean target. You are right, it worked without any problem. I feared that diff.gz would have contained a diff with the missing file. -- Avoid unnecessary branches. - The Elements of Programming Style (Kernighan & Plauger)