Skip to content

.github/workflows/doc-build-pdf.yml: Do not build HTML documentation, fix upload of PDFs #36614

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
vbraun merged 8 commits into from
Nov 5, 2023
Merged

.github/workflows/doc-build-pdf.yml: Do not build HTML documentation, fix upload of PDFs #36614

Changes from 2 commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
1fbf59d
Doc preview for all languages
kwankyu Oct 31, 2023
c0a33af
.github/workflows/doc-build-pdf.yml: Do not build HTML documentation
mkoeppe Oct 31, 2023
075be5a
diff only .html files
kwankyu Nov 1, 2023
cc9ff20
Remove dangling part from sageinspect.py
kwankyu Nov 1, 2023
3394eec
Fix path for diffsite
kwankyu Nov 1, 2023
b4e7f60
Fix path
kwankyu Nov 1, 2023
3bd7f38
.github/workflows/doc-build-pdf.yml: Actually upload the built docs
mkoeppe Oct 23, 2023
c4ac3f4
Merge branch 'p/doc-preview-for-all-languages' into ci_docbuild_pdf_n…
mkoeppe Nov 2, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 2 additions & 3 deletions .github/workflows/doc-build-pdf.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -66,8 +66,6 @@ jobs:
git config --global user.email "[email protected]"
git config --global user.name "Build & Test workflow"
.ci/retrofit-worktree.sh worktree-image /sage
# Keep track of changes to built HTML
new_version=$(cat src/VERSION.txt); (cd /sage/local/share/doc/sage/html/en && find . -name "*.html" | xargs sed -i '/class="sidebar-brand-text"/s/Sage [0-9a-z.]* /Sage '$new_version' /'; git init && (echo "*.svg binary"; echo "*.pdf binary") >> .gitattributes && (echo ".buildinfo"; echo '*.inv'; echo '.git*'; echo '*.svg'; echo '*.pdf'; echo '*.png'; echo 'searchindex.js') > .gitignore; git add -A && git commit --quiet -m "old")

- name: Download upstream artifact
uses: actions/download-artifact@v3
Expand Down Expand Up @@ -107,13 +105,14 @@ jobs:
id: docbuild
if: always() && (steps.incremental.outcome == 'success' || steps.build.outcome == 'success')
run: |
make doc-clean doc-uninstall; make doc-pdf
make doc-clean doc-uninstall; make sagemath_doc_html-build-deps sagemath_doc_pdf-no-deps
working-directory: ./worktree-image
env:
MAKE: make -j2 --output-sync=recurse
SAGE_NUM_THREADS: 2

- name: Copy docs
id: copy
if: always() && steps.docbuild.outcome == 'success'
run: |
# For some reason the deploy step below cannot find /sage/...
Expand Down