[MPlayer-DOCS] Portability to other formats

[Juan Martin]

Hi,
I friend of me send me this mail:

"I'm converting the MPlayer DOCS to PDF/PS formats. There are some legal
problem with this?"

I say that MPlayer is GPL2 licenses and i think DOCS are also. But, it's
true?

Regards,

-- 
  Juan Martín López - ICQ #76955750
    http://pagina.de/juanotura/
    http://nauj27.is-a-geek.com
http://www.telefonica.net/web/adslusb/