jorisvandenbossche commented on code in PR #38241: URL: https://github.com/apache/arrow/pull/38241#discussion_r1361625844
########## docs/source/conf.py: ########## @@ -288,6 +288,14 @@ # documentation. # +switcher_version = version +if ".dev" in version: + switcher_version = "dev/" +else: + # If we are not building dev version of the docs, we are building + # docs for the stable version + switcher_version = "" Review Comment: Although that would then give a duplicated entry in the dropdown, so also not ideal I suppose. Another option would be to patch the doc sources when moving them from `/` to `/xx.x` when doing a release. It touches every file, but it's also a quite simple patch. A simple replacement of `DOCUMENTATION_OPTIONS.theme_switcher_version_match = '';` with the correct version. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: github-unsubscr...@arrow.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
