# HG changeset patch
# User diego
# Date 1072306714 0
# Node ID 16c01dbca208fb86a6385b290de8dd2eac81bac5
# Parent  972d1998bde92b2e655fbe1790bfe4012c195004
Pruning empty directories is a good idea and even better is using the
correct cvs syntax to do it.

diff -r 972d1998bde9 -r 16c01dbca208 DOCS/tech/cvs-howto.txt
--- a/DOCS/tech/cvs-howto.txt	Wed Dec 24 22:00:51 2003 +0000
+++ b/DOCS/tech/cvs-howto.txt	Wed Dec 24 22:58:34 2003 +0000
@@ -42,7 +42,7 @@
 2. Checking out development source tree:
   
     export CVS_RSH=ssh
-    cvs -z3 -d:ext:LOGIN@mplayerhq.hu:/cvsroot/mplayer co main
+    cvs -z3 -d:ext:LOGIN@mplayerhq.hu:/cvsroot/mplayer co -P main
   
   Replace LOGIN with your login name.
   NOTE: cvs -d:pserver: mode doesn't allow writing, even with password!
diff -r 972d1998bde9 -r 16c01dbca208 README
--- a/README	Wed Dec 24 22:00:51 2003 +0000
+++ b/README	Wed Dec 24 22:58:34 2003 +0000
@@ -63,7 +63,7 @@
 the latest sources:
 
   cvs -d:pserver:anonymous@mplayerhq.hu:/cvsroot/mplayer login
-  cvs -z3 -d:pserver:anonymous@mplayerhq.hu:/cvsroot/mplayer co main
+  cvs -z3 -d:pserver:anonymous@mplayerhq.hu:/cvsroot/mplayer co -P main
 
 When asked for a password, just hit enter. A directory named 'main' will be
 created. You can later update your sources by saying