Re: What happened to the gcc man pages?

[Michael P. Soulier]

On 06/01/26 Greg Wooledge said:

> It's distributed under a non-free license.  Specifically, the GNU
> Free Documentation License, which Debian classifies as non-free.
> 
> See <https://www.debian.org/vote/2006/vote_001> for details.

K thanks.