Skip to content

build: Downgrade sphinx-reredirects to an older version again and pin…#13970

Merged
nickvergessen merged 1 commit intomasterfrom
build/noid/downgrade-sphinx-reredirects
Jan 6, 2026
Merged

build: Downgrade sphinx-reredirects to an older version again and pin…#13970
nickvergessen merged 1 commit intomasterfrom
build/noid/downgrade-sphinx-reredirects

Conversation

@nickvergessen
Copy link
Copy Markdown
Member

… notfound-page dep

Currently prod fails:

ERROR: Could not find a version that satisfies the requirement sphinx-reredirects==1.1.0 (from versions: 0.0.0, 0.0.1, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6)
ERROR: No matching distribution found for sphinx-reredirects==1.1.0
/bin/sh: 1: sphinx-build: not found
make: *** [Makefile:55: html-com] Error 127
cp: cannot stat '/build/documentation/admin_manual/_build/html/com/': No such file or directory
make: sphinx-build: No such file or directory
make: *** [Makefile:61: html-lang-en] Error 127
cp: cannot stat '/build/documentation/user_manual/_build/html/': No such file or directory
make: sphinx-build: No such file or directory
make: *** [Makefile:131: latexpdf] Error 127
cp: cannot stat '/build/documentation/user_manual/_build/latex/Nextcloud_User_Manual.pdf': No such file or directory
stopped: return value was non-zero: 1

… notfound-page dep

Signed-off-by: Joas Schilling <coding@schilljs.com>
@nickvergessen nickvergessen merged commit ba0cf21 into master Jan 6, 2026
12 checks passed
@nickvergessen nickvergessen deleted the build/noid/downgrade-sphinx-reredirects branch January 6, 2026 20:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant