[MPlayer-DOCS] Portability to other formats

[Diego Biurrun]

Juan Martin writes:
> 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?

Yes.  He is free to use the docs under the GPL.

I'm very interested in converting the docs to PDF (PS also) myself,
but I haven't had the time to investigate how to do it.  Please tell
your friend that we would appreciate his help on the issue if he has
managed to do it.

Diego