This allows to use the @xref{} command for the HTML output.

Originally committed as revision 25854 to svn://svn.ffmpeg.org/ffmpeg/trunk