sphinx.web is long gone
diff --git a/Doc/README.txt b/Doc/README.txt
index a1ebed7..3dce091 100644
--- a/Doc/README.txt
+++ b/Doc/README.txt
@@ -94,8 +94,8 @@
 
    python tools/sphinx-build.py -b<builder> . build/<outputdirectory>
 
-where `<builder>` is one of html, web or htmlhelp (for explanations see the make
-targets above).
+where `<builder>` is one of html, text, latex, or htmlhelp (for explanations see
+the make targets above).
 
 
 Contributing