FIX: Renamed version_switcher.js (#521)

This commit is contained in:
Julien Palard 2017-12-26 09:45:09 +01:00 committed by GitHub
parent 90b01262c0
commit bcd9c94ddf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -335,7 +335,7 @@ to perform some manual editing steps.
You should not see any files. I.e. you better not have any uncommitted
changes in your working directory.
- For a final major release, Doc/tools/static/version_switch.js
- For a final major release, Doc/tools/static/switchers.js
must be updated in all maintained branches, so that the new maintenance
branch is not "dev" anymore and there is a new "dev" version.
Also, update Doc/tools/templates/indexsidebar.html in all maintained
@ -482,7 +482,7 @@ to perform some manual editing steps.
docs.python.org/X.Y in the Apache 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 version_switcher.js script also needs to be
checkout. The Doc's switchers.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.