diff --git a/doc/ffmpeg-doc.texi b/doc/ffmpeg-doc.texi
index e351bfff12..32153a8e2f 100644
--- a/doc/ffmpeg-doc.texi
+++ b/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
diff --git a/doc/ffplay-doc.texi b/doc/ffplay-doc.texi
index e0ca79d436..c1fa0b1d2e 100644
--- a/doc/ffplay-doc.texi
+++ b/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
diff --git a/doc/ffprobe-doc.texi b/doc/ffprobe-doc.texi
index 8eb3ed9a2b..f3a0d1a018 100644
--- a/doc/ffprobe-doc.texi
+++ b/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
diff --git a/doc/ffserver-doc.texi b/doc/ffserver-doc.texi
index 0a2440ae51..7e78ed05c6 100644
--- a/doc/ffserver-doc.texi
+++ b/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