[MPlayer-DOCS] manpage and HTML docs - FFmpeg MPEG-4 vs. DivX

[Diego Biurrun]

Jakub Misak writes:
> 
> The manpage still says in the encoding section that the "mpeg4" vcodec 
> in -lavcopts is "DivX 4/5". The HTML docs also say that FFmpeg MPEG-4 
> is DivX 4 or DivX 5.

Since no patch seems to be forthcoming I fixed this myself.  Have a
look at the documentation again, if you find any occurrences where
this should still be changed, please say so.

Diego