Clarification about PDF file license

[Rafael Laboissiere <rafael@debian.org>]

[Please respect the M-F-T header when replying]

In the process of packaging octave-fixed [1] for Debian, we found a
licensing problem with a PDF file (fixed.pdf).  This file contains the
following Copyright statement:

    Copyright (C) 2004 Motorola Inc

    Permission is granted to make and distribute verbatim copies of this manual
    provided the copyright notice and this permission notice are preserved on
    all copies.

    Permission is granted to copy and distribute modified versions of this
    manual under the conditions for verbatim copying, provided that the entire
    resulting derived work is distributed under the terms of a permission
    notice identical to this one.

    Permission is granted to copy and distribute translations of this manual
    into another language, under the same conditions as for modified
    versions.

This file was produced from TeXinfo sources that are not available in the
tarball but can be found in the SVN repository [3].  The question is whether
we are allowed to distribute the said PDF file, in particular if the
original sources are lacking from the tarball.

Also, the TeXinfo source file contains scraps that are extracted from other
files (*.cc) distributed in the tarball.  These files are released under
GPL-2+.  Does that constitute a violation of the GPL?

[1] http://octave.sourceforge.net/fixed/index.html
[2] http://octave.svn.sourceforge.net/viewvc/octave/trunk/octave-forge/main/fixed/doc/

Thanks,

-- 
Rafael