From aa9ba35f232ad837de560c10d2ea3304d61d71e6 Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Tue, 25 Mar 2008 18:31:06 +0000
Subject: [PATCH] Rename pickle builder target.

---
 doc/Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 2622cb85b..e1f98da35 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -29,12 +29,12 @@ html:
 	@echo
 	@echo "Build finished. The HTML pages are in _build/html."
 
-web:
-	mkdir -p _build/web _build/doctrees
-	$(SPHINXBUILD) -b web $(ALLSPHINXOPTS) _build/web
+pickle:
+	mkdir -p _build/pickle _build/doctrees
+	$(SPHINXBUILD) -b pickle $(ALLSPHINXOPTS) _build/pickle
 	@echo
 	@echo "Build finished; now you can run"
-	@echo "  python -m sphinx.web _build/web"
+	@echo "  python -m sphinx.web _build/pickle"
 	@echo "to start the server."
 
 htmlhelp: