All GPL'ed programs have to go to non-free

[Adrian Bunk <bunk@stusta.de>]

The following might sound absurd, but it seems to follow directly from 
Debian's current interpretation of the DFSG:

  All GPL'ed programs have to go to non-free.


Proof:

You are only allowed to distribute verbatim copies of the GPL license 
text.

In Debian, documents are considered software and are therefore subject 
to the DFSG.

Debian does not plan any exceptions from the DFSG for RFCs, license 
texts or any other documentation.

Debian will therefore have to move all GPL license texts to non-free.

Section 1 of the GPL requires Debian to give every recipient of a GPL'ed 
work a copy of the GPL.

Therefore, all GPL'd programs will have to go to non-free.

Q.E.D.


Is this a correct interpretation of what will happen after the release 
of sarge or is there any mistake in my proof?


cu
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed