# HG changeset patch
# User diego
# Date 1155459256 0
# Node ID be3a0f5788242493f2e6274f37c14e575c5fd111
# Parent  3f2fc9e40cd4e447bbcd7e75d619008edfe18c66
Update for recent discussions on mplayer-dev-eng.

diff -r 3f2fc9e40cd4 -r be3a0f578824 DOCS/tech/svn-howto.txt
--- a/DOCS/tech/svn-howto.txt	Sun Aug 13 08:27:39 2006 +0000
+++ b/DOCS/tech/svn-howto.txt	Sun Aug 13 08:54:16 2006 +0000
@@ -129,18 +129,17 @@
 
 8. Renaming/moving/copying files or contents of files:
 
-  svn move <source> <destination>
-  svn copy <source> <destination>
+  svn move/copy <source> <destination>
   svn commit <source> <destination>
 
-  Do not move, rename or copy files not maintained by you without discussing
-  it on the mplayer-dev-eng mailing list first!
+  Do not move, rename or copy files of which you are not the maintainer without
+  discussing it on the mplayer-dev-eng mailing list first!
 
-  In order to preserve history and minimize the size of diffs, do not copy or
-  move a file by using 'svn delete' and 'svn add'. Always use 'svn move' or
-  'svn copy' instead.
+  Never copy or move a file by using 'svn delete' and 'svn add'. Always use
+  'svn move' or 'svn copy' instead in order to preserve history and minimize
+  the size of diffs.
 
-  To split a file use 'svn copy' and remove the unneeded lines from each file.
+  To split a file, use 'svn copy' and remove the unneeded lines from each file.
 
   Don't do a lot of cut'n'paste from one file to another without a very good
   reason and discuss it on the mplayer-dev-eng mailing list first. It will make