On Fri, May 11, 2012 at 1:39 PM, Raphael Hertzog <hert...@debian.org> wrote: > Hi, > > On Fri, 11 May 2012, Mathieu Malaterre wrote: >> > Auto-regenerating them is also a risk of breaking the generated images in >> > some cases (I have seen dia being confused about the path of the images >> > that it embeds). >> >> I was talking about GPL issues more than technical issue with buggy >> software. I could not find the exact reference, but generated PNG file >> are not source: http://forums.wesnoth.org/viewtopic.php?t=25322 > > The sources are provided, you have the .dia files. So there's no issue > from a legal point of view.
Point taken. So in summary we cannot save some disk space because dia segfaults sometimes. Since *.dia source are available users are free to regenerates *.png if needed, GPL clause is respected. Thx -M -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
