Re: [OctDev] Clarification about PDF file license

[David Bateman <David.Bateman@motorola.com>]

Just a further question, if the documentation is distributed as part of 
the package itself under a GPL license then the only issue is the 
inclusion of the fixed.texi and/or fixed.txi file within the package 
tar-ball. The documentation is delivered with the source files where the 
help strings are taken and so there is nominally no GPL violation in 
that case.

If its only the issue of the inclusion of fixed.{texi,txi} that is the 
issue that is preventing the packages inclusion in debian I have no 
objections to including these in the package tar-ball.

D.