diff --git a/omero/conf.py b/omero/conf.py index 6b19c65d1a..d941b4e4f9 100755 --- a/omero/conf.py +++ b/omero/conf.py @@ -392,8 +392,8 @@ def copy_legacy_redirects(app, exception): ] if app.builder.name == 'html': for html_src_path in redirect_files: - target_path = app.outdir + '/' + html_src_path - src_path = app.srcdir + '/' + html_src_path + target_path = (app.outdir / html_src_path) + src_path = (app.srcdir / html_src_path) if os.path.isfile(src_path): target_dir = os.path.dirname(target_path) if not os.path.exists(target_dir): diff --git a/requirements.txt b/requirements.txt index 6b104fb015..beb55b6aa8 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,2 +1,2 @@ -Sphinx -sphinx-rtd-theme +sphinx==7.2.5 +sphinx-rtd-theme==1.3.0