diff --git a/Doc/README.txt b/Doc/README.txt
index 00f21b83cb7..4527930082e 100644
--- a/Doc/README.txt
+++ b/Doc/README.txt
@@ -74,7 +74,7 @@ Without make
 
 You'll need to checkout the Sphinx package to the `tools/` directory::
 
-   http://svn.python.org/projects/doctools/trunk/sphinx tools/sphinx
+   svn co http://svn.python.org/projects/doctools/trunk/sphinx tools/sphinx
 
 Then, you need to install Docutils, either by checking it out via ::