diff --git a/Doc/Makefile b/Doc/Makefile index 46abe510c8d..8fda9a82621 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -28,8 +28,8 @@ help: @echo " coverage to check documentation coverage for library and C API" @echo " dist to create a \"dist\" directory with archived docs for download" +# Note: if you update versions here, do the same in make.bat and README.txt checkout: - # Note: if you update versions here, do the same in make.bat and README.txt @if [ ! -d tools/sphinx ]; then \ echo "Checking out Sphinx..."; \ svn checkout $(SVNROOT)/external/Sphinx-0.6.1/sphinx tools/sphinx; \