From c13f7f9aee9ff018dae117e3e5089bf2ef15dba9 Mon Sep 17 00:00:00 2001
From: gabucino <gabucino@b3059339-0415-0410-9bf9-f77b7e298cf2>
Date: Sat, 29 Jun 2002 05:26:17 +0000
Subject: [PATCH] realplayer libs installation re-added (was removed by diego)

git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@6596 b3059339-0415-0410-9bf9-f77b7e298cf2
---
 DOCS/formats.html | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/DOCS/formats.html b/DOCS/formats.html
index 1b35ba0a77..ecde965ee6 100644
--- a/DOCS/formats.html
+++ b/DOCS/formats.html
@@ -175,7 +175,14 @@ will be messy for a short time after seeking.</P>
 
 <P>It's recommended to download and install RealPlayer8 or RealONE, because
   <B>MPlayer</B> can use their libraries to decode files with RealVideo 2.0 or
-  RealVideo 3.0 video!</P>
+  RealVideo 3.0 video! All you have to do is:</P>
+
+<P>
+  &nbsp;&nbsp;<CODE>ln -s /usr/local/RealPlayer8/Codecs $PREFIX/lib/real</CODE>
+</P>
+
+<P>NOTE: RealPlayer's installation path may differ from the above, please check
+  it.</P>
 
 <P>NOTE: RealPlayer libraries currently <B>can only be used with Linux or FreeBSD
   on the x86 platform</B>!</P>