georg.brandl
2008-09-09 19:14:16 UTC
Author: georg.brandl
Date: Tue Sep 9 21:14:12 2008
New Revision: 66344
Log:
Update Pygments version used.
Modified:
python/branches/py3k/Doc/Makefile
Modified: python/branches/py3k/Doc/Makefile
==============================================================================
--- python/branches/py3k/Doc/Makefile (original)
+++ python/branches/py3k/Doc/Makefile Tue Sep 9 21:14:12 2008
@@ -41,7 +41,7 @@
fi
@if [ ! -d tools/pygments ]; then \
echo "Checking out Pygments..."; \
- svn checkout $(SVNROOT)/external/Pygments-0.10/pygments tools/pygments; \
+ svn checkout $(SVNROOT)/external/Pygments-0.11.1/pygments tools/pygments; \
fi
update: checkout
Date: Tue Sep 9 21:14:12 2008
New Revision: 66344
Log:
Update Pygments version used.
Modified:
python/branches/py3k/Doc/Makefile
Modified: python/branches/py3k/Doc/Makefile
==============================================================================
--- python/branches/py3k/Doc/Makefile (original)
+++ python/branches/py3k/Doc/Makefile Tue Sep 9 21:14:12 2008
@@ -41,7 +41,7 @@
fi
@if [ ! -d tools/pygments ]; then \
echo "Checking out Pygments..."; \
- svn checkout $(SVNROOT)/external/Pygments-0.10/pygments tools/pygments; \
+ svn checkout $(SVNROOT)/external/Pygments-0.11.1/pygments tools/pygments; \
fi
update: checkout