>When the file is distributed in the source package, yes, then it needs >to be covered in debian/copyright. It does not matter whether this bit >of code is for Windows or Linux. Whether it is being distributed, that >matters. Of course, your package can leave this file out. Teus. Ok, thank you very much.