License of SystemTap Beginners Guide

[Eugeniy Meshcheryakov <eugen at debian dot org>]

Hello,

I cannot find any information about license in source for SystemTap Beginners
Guide, but in the internet there are some version that say it is licensed
under Open Publication License [1], [2] or Open Publication License with some
additional restrictions [3]:

   Distribution of substantively modified versions of this document is prohibited
   without the explicit permission of the copyright holder.

   Distribution of the work or derivative of the work in any standard (paper) book
   form for commercial purposes is prohibited unless prior permission is obtained
   from the copyright holder. 

Does OPL really apply to source distributed with SystemTap? (I hope not)
And in any case please clarify license in the source package. And if license
is realy OPL, i'd prefer Beginners Guide not to be included into SystemTap
source (I will need to remove it for Debian package).

Regards,
Eugeniy Meshcheryakov

1. http://www.redhat.com/docs/en-US/Red_Hat_Enterprise_Linux/5/pdf/SystemTap_Beginners_Guide.pdf
2. http://sourceware.org/systemtap/SystemTap_Beginners_Guide.pdf
3. http://www.redhat.com/docs/en-US/Red_Hat_Enterprise_Linux/5/html/SystemTap_Beginners_Guide/index.html

Attachment: signature.asc
Description: Digital signature