Make consistent the various SEE ALSO sections in the FFmpeg man pages.

Also replace "the HTML documentation of @file{ffmpeg}" with "the FFmpeg
HTML documentation", which is more generic.

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

doc/ffmpeg-doc.texi

@@ -953,7 +953,7 @@ It allows almost lossless encoding.
 @settitle FFmpeg video converter
 
 @c man begin SEEALSO
-ffserver(1), ffplay(1) and the HTML documentation of @file{ffmpeg}.
+ffplay(1), ffprobe(1), ffserver(1) and the FFmpeg HTML documentation
 @c man end
 
 @c man begin AUTHOR

doc/ffplay-doc.texi

@@ -148,7 +148,7 @@ Seek to percentage in file corresponding to fraction of width.
 @settitle FFplay media player
 
 @c man begin SEEALSO
-ffmpeg(1), ffserver(1) and the HTML documentation of @file{ffmpeg}.
+ffmpeg(1), ffprobe(1), ffserver(1) and the FFmpeg HTML documentation
 @c man end
 
 @c man begin AUTHOR

doc/ffprobe-doc.texi

@@ -113,7 +113,7 @@ with name ``STREAM''.
 @settitle FFprobe media prober
 
 @c man begin SEEALSO
-ffmpeg(1), ffplay(1), ffserver(1)
+ffmpeg(1), ffplay(1), ffserver(1) and the FFmpeg HTML documentation
 @c man end
 
 @end ignore

doc/ffserver-doc.texi

@@ -261,8 +261,9 @@ rather than as a daemon.
 @settitle FFserver video server
 
 @c man begin SEEALSO
-ffmpeg(1), ffplay(1), the @file{ffmpeg/doc/ffserver.conf} example and
-the HTML documentation of @file{ffmpeg}.
+
+ffmpeg(1), ffplay(1), ffprobe(1), the @file{ffmpeg/doc/ffserver.conf}
+example and the FFmpeg HTML documentation
 @c man end
 
 @c man begin AUTHOR