➜
This issue tracker has been migrated to GitHub,
and is currently read-only.
For more information,
see the GitHub FAQs in the Python's Developer Guide.
Created on 2012-04-05 15:33 by zach.ware, last changed 2022-04-11 14:57 by admin. This issue is now closed.
| Files | ||||
|---|---|---|---|---|
| File name | Uploaded | Description | Edit | |
| 3.2 conf.py opensearch.diff | zach.ware, 2012-04-05 15:33 | Patch to Doc\conf.py in 3.2 branch | ||
| Messages (3) | |||
|---|---|---|---|
| msg157599 - (view) | Author: Zachary Ware (zach.ware) *  |
Date: 2012-04-05 15:33 | |
Adding the search plugin for the 3.2 docs to Firefox and then searching from it returns results from the 3.3 dev docs, despite everything saying it should be for searching "Python v3.2.2 documentation". If my understanding of how it all works is correct, the attached patch should fix the issue. It simply removes 'dev/' from the html_use_opensearch assignment in Doc\conf.py in the 3.2 branch. Thanks, Zach |
|||
| msg157686 - (view) | Author: Éric Araujo (eric.araujo) * |
Date: 2012-04-06 20:28 | |
Will fix, thanks for the report. |
|||
| msg157738 - (view) | Author: Roundup Robot (python-dev)  |
Date: 2012-04-07 17:23 | |
New changeset 7f123dec2731 by Georg Brandl in branch '3.2': Closes #14511: fix wrong opensearch link for 3.2 docs. http://hg.python.org/cpython/rev/7f123dec2731 New changeset 57a8a8f5e0bc by Georg Brandl in branch 'default': Closes #14511: merge with 3.2 http://hg.python.org/cpython/rev/57a8a8f5e0bc |
|||
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2022-04-11 14:57:28 | admin | set | github: 58716 |
| 2012-04-07 17:23:05 | python-dev | set | status: open -> closed nosy: + python-dev messages: + msg157738 resolution: fixed stage: resolved |
| 2012-04-06 20:28:47 | eric.araujo | set | assignee: docs@python -> eric.araujo messages: + msg157686 versions: + Python 3.3 |
| 2012-04-05 15:33:54 | zach.ware | create | |