Bug#477152: docstrip inserts wrong comment into generated file

[Manuel Pegourie-Gonnard <mpg@elzevir.fr>]

Hi Frank,

Frank Küster a écrit :
> I suggest to replace the text with
> 
>  IMPORTANT NOTICE:
>  
>  For the copyright see the source file.
>  
>  You are *not* allowed to modify this file except
>  under the conditions given in the source file.
>  
>  You are *not* allowed to distribute this file except
>  under the conditions given in the source file.
> 
>  The terms for copying and modification are given in in the file
>  \inFileName.
>
How about something even more neutral, like:

	This is a generated file.
	See the original file for copyright and license information.

since, as you pointed out, docstrip shouldn't assume anything about the
licensing, which can be either LPPL, GPL, Artistic, etc, and docstrip does
actually print the name of the source file (with the options used) at the
very beginning of the file.

Manuel.