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

[Diego Biurrun]

Jakub Misak writes:
> 
> BTW, since I noticed that the docs team here pays great attention to 
> detail, I'd like to mention that the corect spelling is "MPEG-4", not 
> the "MPEG4" that's ubiquitous in the docs. The same with MPEG-1 and 
> MPEG-2. Perhaps some global search'n'replace in the files could be 
> posible... :-)

I've long suspected this to be the official spelling.  Could you point
me to some official documents as final proof?

Diego