Re: GFDL/GPL issues

[Robert Dewar <dewar at adacore dot com>]

Florian Weimer wrote:

> I was still referring to computer documentation, but admittedly not
> reference manuals, rather works like introductory texts which have got
> some sort of narrative strucuture which guides the reader.
>
> For reference manuals, it takes a huge amount of effort to make the
> printed version as useful as a hypertext version, and most reference
> manuals don't go to that length, so I don't see a reason to print them
> either (as long as a there aren't licensing constraints that make
> printing seem favorable).

OK, I fully agree with both points. In practice the issue we are
discussing here (automatic generation of documentation) is more
likely to occur in the latter context.