Update URL for Pygments.  0.8.1 is no longer available
diff --git a/Doc/README.txt b/Doc/README.txt
index c566a4a..9959da2 100644
--- a/Doc/README.txt
+++ b/Doc/README.txt
@@ -67,7 +67,7 @@
 
 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.