Skip to content
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.

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

Add Wiki to PDF/HTML workflow #712

Merged
merged 13 commits into from
Nov 1, 2021
Merged
Changes from 1 commit
Commits
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
Prev Previous commit
Next Next commit
Reinstate pdf generation and add centering to css
bobismijnnaam committed Nov 1, 2021

Unverified

This user has not yet uploaded their public signing key.
commit 6539bcfc52288c5df8e0ae69be20f44cfbfa8761
9 changes: 5 additions & 4 deletions .github/workflows/build-wiki-pdf.yml
Original file line number Diff line number Diff line change
@@ -10,10 +10,11 @@ jobs:
- run: sudo apt install pandoc texlive-xetex
- working-directory: util/wiki
run: pip3 install -r requirements.txt
- run: pandoc --version
- working-directory: util/wiki
run: "git clone https://github.com/utwente-fmt/vercors.wiki.git"
- working-directory: util/wiki
run: "python3 ./generate_wiki_pdf.py -i vercors.wiki --html wiki.html"
run: |
git clone https://github.com/utwente-fmt/vercors.wiki.git
python3 ./generate_wiki_pdf.py -i vercors.wiki --html wiki.html --pdf wiki.pdf
- working-directory: util/wiki
run: ls
- name: Set wiki pdf tag in github repo
@@ -29,7 +30,7 @@ jobs:
uses: ncipollo/release-action@v1
with:
allowUpdates: true
artifacts: "util/wiki/*.pdf,util/wiki/*.html"
artifacts: "util/wiki/wiki.pdf,util/wiki/wiki.html"
artifactContentType: application/pdf
body: "These are automatically generated versions of the tutorial on the VerCors wiki. There are two artefacts of interest: the Latex/PDF version, suitable for printing, and the HTML version, suitable for offline viewing."
name: VerCors Wiki PDF
1 change: 1 addition & 0 deletions util/wiki/generate_wiki_pdf.py
Original file line number Diff line number Diff line change
@@ -297,6 +297,7 @@ def output_html(path, blocks, version, generate_toc=True):
<style>
body {
max-width: 50em;
margin: 0 auto;
}
</style>
"""
75 changes: 0 additions & 75 deletions util/wiki/wiki_template.html

This file was deleted.