You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
using Sphinx 8.0.2 with pydata-sphinx-theme 0.15.4 (or 0.16.0rc0), I am trying to get the version-switcher working with the dirhtml builder and ran into two issues:
Page names like api/index (DOCUMENTATION_OPTIONS.pagename = 'api/index') are mapped to api/index/, not api/
Re #1795
Hello,
using Sphinx 8.0.2 with pydata-sphinx-theme 0.15.4 (or 0.16.0rc0), I am trying to get the version-switcher working with the dirhtml builder and ran into two issues:
api/index
(DOCUMENTATION_OPTIONS.pagename = 'api/index'
) are mapped toapi/index/
, notapi/
//
, as already noted in fix version-switcher with dirhtml builder #1795 (comment)The following patch works for me, but I haven't formally tested it:
Does this look correct?
The text was updated successfully, but these errors were encountered: