jvlc: wait for correct player status before releasing libvlc

[vlc] / INSTALL

diff --git a/INSTALL b/INSTALL
index a5f3939e0a01ac1a39b279ac0ae5ab4ffb4558d6..3cfe1347119be85eed7d32b33dee35e0c210d68c 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -1,8 +1,6 @@
-$Id$
-
 INSTALL file for the VLC media player
 
-Mac OS X and BeOS users should read the documentation available at: 
+More extensive information for *nix, Windows, Mac OS X and BeOS users can be found here: 
 http://developers.videolan.org/vlc/
 
 Bootstrapping VLC
@@ -16,23 +14,25 @@ Configuring VLC
 
 A typical way to configure VLC is:
 
-   ./configure --prefix=/usr --enable-gnome
+   ./configure --prefix=/usr
 
 See `./configure --help' for more information.
 
 If you intend to debug stuff, you may want to compile with debugging
 symbols:
 
-   make distclean ; ./configure --prefix=/usr --enable-gnome --enable-debug
+   make distclean ; ./configure --prefix=/usr --enable-debug
+
+We recommend using GCC to build VLC, though some people reported success
+with the Intel C compiler (version 8) as well. GCC version 3.3 or higher is
+required. On older systems (e.g. FreeBSD 4.x, BeOS), please select a more
+recent version manually by setting the CC and CXX environment variables
+appropriately while running the ./configure shell script.
 
 
 Building VLC
 ============
 
-Have a look at the generated Makefile.opts file, you may want to choose
-which modules will be compiled as plugins, and which ones will remain in
-the core application. The configure script tries to guess for you.
-
 Once configured, run `make' to build VLC.
 
 
@@ -52,8 +52,9 @@ from the current directory as well:
 Building packages
 =================
 
-To build a Debian package, you may use:
-
+To build a Debian package, you need to get the packaging info
+   svn co svn://svn.debian.org/pkg-multimedia/videolan/vlc/debian debian 
+and then
    dpkg-buildpackage -rfakeroot -us -uc