[MPlayer-DOCS] Mandrake´s name change to Mandriva

[Diego Biurrun]

On Fri, Jul 01, 2005 at 01:52:56PM +0200, Christian Korff wrote:
> 
> I took a look at the manual/documentation (in XML) and noticed that
> Mandrake´s new name wasn´t mention.

Well, this is a great way to send in your first patch, I'll probably apply
it :)

Diego