Update URL for Pygments. 0.8.1 is no longer available

diff --git a/Doc/README.txt b/Doc/README.txt
index c566a4a28cdb9647aa2a3fc82374bd26378d9f91..9959da294bad9446eeff1651e819c266a0c6567c 100644 (file)
--- a/Doc/README.txt
+++ b/Doc/README.txt
@@ -67,7 +67,7 @@ or by installing it from http://docutils.sf.net/.
 
 You can optionally also install Pygments, either as a checkout via :: 
 
-   svn co http://svn.python.org/projects/external/Pygments-0.8.1/pygments tools/pygments
+   svn co http://svn.python.org/projects/external/Pygments-0.9/pygments tools/pygments
 
 or from PyPI at http://pypi.python.org/pypi/Pygments.