documentation license

[Bart Veer <bartv at ecoscentric dot com>]

For the record, I have received a message from Mark Webbink (Red
Hat legal) regarding the license for existing eCos documentation.
This gives permission to change the license text to:

  This material may be distributed only subject to the terms and
  conditions set forth in the Open Publication License, v1.0 or later
  (the latest version is presently available at
  http://www.opencontent.org/openpub/)
  Distribution of the work or derivative of the work in any standard
  (paper) book form is prohibited unless prior permission obtained
  from the copyright holder.

In other words, the problematical clause

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

can be eliminated. This change means I can now release the updated
synthetic target documentation, so I plan to check in my accumulated
changes in the next couple of days. After that I'll probably go
through the repository and update the other .sgml files for
consistency, unless somebody can think of a good reason for not doing
so. 

Bart