From 3371af975f87ef36e3f17b77cd34863a9da90549 Mon Sep 17 00:00:00 2001
From: Julien Palard <julien@palard.fr>
Date: Thu, 4 Jan 2018 01:36:48 +0100
Subject: [PATCH] PEP 101: dailybuild.py moved to docsbuild-scripts. (GH-523)

---
 pep-0101.txt | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/pep-0101.txt b/pep-0101.txt
index 9e8cec78f..979661992 100644
--- a/pep-0101.txt
+++ b/pep-0101.txt
@@ -480,9 +480,10 @@ to perform some manual editing steps.
 
   - If this is a final major release: Tell the DE to adapt redirects for
     docs.python.org/X.Y in the nginx config for docs.python.org, update
-    the script Doc/tools/dailybuild.py to point to the right
-    stable/development branches, and to install it and make the initial
-    checkout.  The Doc's switchers.js script also needs to be
+    the `docsbuild-scripts <https://github.com/python/docsbuild-scripts>`_
+    to point to the right stable/development branches, and to install it
+    and make the initial checkout.
+    The Doc's version_switcher.js script also needs to be
     updated.  In general, please don't touch things in the toplevel
     /srv/docs.python.org/ directory unless you know what you're doing.