Comment 7 for bug 502191

Hi Cesare,

Even if it's a temporary fix, I prefer to have it in debian directory. This way, you won't need to update the get-orig-source target to get it, and I personally find it cleaner :-)

About the README.source file, you're right: it's seems to be necessary only when dpkg-source -x does not produce a directly editable directory, and that's not your case. So forget about that point ;-)

Thanks,
Fabrice