Skip to content

Commit 3c279ec

Browse files
author
Release Manager
committed
gh-38378: CI: Create doc directory regardless of develop or PR <!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes #12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes #12345". --> Fix a problem seen in: https://doc-develop-- sagemath.netlify.app/html/en/index.html Tested in https://github.com/kwankyu/sage/actions/runs/9966461690. ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - #12345: short description why this is a dependency --> <!-- - #34567: ... --> URL: #38378 Reported by: Kwankyu Lee Reviewer(s): Matthias Köppe
2 parents 820502f + 40603ea commit 3c279ec

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/doc-build.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -132,6 +132,7 @@ jobs:
132132
git config --global --add safe.directory $(pwd)
133133
git config --global user.email "[email protected]"
134134
git config --global user.name "Build documentation workflow"
135+
mkdir -p doc
135136
# Check if we are on PR
136137
PR_NUMBER=""
137138
if [[ -n "$GITHUB_REF" ]]; then
@@ -146,7 +147,6 @@ jobs:
146147
# mathjax path in new doc
147148
mathjax_path_to=$(docker exec -e SAGE_USE_CDNS=yes BUILD /sage/sage -python -c "from sage_docbuild.conf import mathjax_path; print(mathjax_path)")
148149
new_version=$(docker exec BUILD cat src/VERSION.txt)
149-
mkdir -p doc/
150150
docker cp BUILD:/sage/local/share/doc/sage/html doc/
151151
# Wipe out chronic diffs between old doc and new doc
152152
(cd doc && \

0 commit comments

Comments
 (0)