ci: fix pandoc pdf build that failed due to wrong pdf filename

pull/400/head^2
simonsan 2 months ago
parent 5877a50eaf
commit 91d342c987
No known key found for this signature in database
GPG Key ID: E11D13668EC3B71B

@ -42,7 +42,7 @@ jobs:
- name: Build course in English
run: |
mdbook build -d book
mv book/html/* book/pandoc/pdf/patterns.pdf book/
mv book/html/* book/pandoc/pdf/rust-design-patterns.pdf book/
rm -r book/html book/pandoc
# TODO: Activate when first translation is available

Loading…
Cancel
Save