From 576574f5ddf2c3866ba467a0b21d103f61d33edf Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sun, 26 Apr 2009 06:05:58 +0000 Subject: [PATCH] Note that the versions are also in README.txt. --- Doc/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Doc/Makefile b/Doc/Makefile index 317fcb04386..c5cb1122650 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -29,6 +29,7 @@ help: @echo " dist to create a \"dist\" directory with archived docs for download" checkout: + # Note: if you update versions here, do the same in README.txt @if [ ! -d tools/sphinx ]; then \ echo "Checking out Sphinx..."; \ svn checkout $(SVNROOT)/external/Sphinx-0.6.1/sphinx tools/sphinx; \