Update janno_details.md for relatedness #67
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Convert certain .md to .pdf (see the pdf_conversion directory) | |
| # Trigger the workflow on push to the master branch | |
| on: | |
| push: | |
| branches: [master] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| # https://github.com/actions/checkout/issues/317 | |
| with: | |
| ref: ${{ github.event.pull_request.head.ref }} | |
| - name: Install pandoc and pdflatex | |
| run: | | |
| # pdflatex | |
| sudo apt-get update | |
| sudo apt-get install -y texlive-latex-extra | |
| # pandoc | |
| wget https://github.com/jgm/pandoc/releases/download/3.1.12.2/pandoc-3.1.12.2-1-amd64.deb | |
| sudo dpkg -i pandoc-3.1.12.2-1-amd64.deb | |
| - name: Modify and prepare main documentation files | |
| run: | | |
| # remove everything up to "## Guide for" in software guides | |
| sed -i '1,/^\s*## Guide for/ {/## Guide for/ !d}' janno_r_package.md | |
| sed -i '1,/^\s*## Guide for/ {/## Guide for/ !d}' qjanno.md | |
| sed -i '1,/^\s*## Guide for/ {/## Guide for/ !d}' trident.md | |
| sed -i '1,/^\s*## Guide for/ {/## Guide for/ !d}' xerxes.md | |
| # add extra # at the beginning of janno_details.md | |
| echo -e "#$(cat janno_details.md)" > janno_details.md | |
| - name: Convert files | |
| run: | | |
| { cat pdf_conversion/pdf_conversion_list.tsv; echo; } | while read -r src dest | |
| do | |
| echo "now rendering:" $src "->" $dest | |
| pandoc $src -o $dest -d pdf_conversion/pandoc_pdf_config.yml | |
| done | |
| - name: Commit and push if any .pdf files have changed or new ones have been added | |
| run: | | |
| DIFF=$(git diff --name-only -- '*.pdf') | |
| UNTRACKED=$(git ls-files --others --exclude-standard -- '*.pdf') | |
| if [ "$DIFF" != "" ] || [ "$UNTRACKED" != "" ]; then | |
| echo ".pdf files have been changed or added, commiting changes." | |
| git config --local user.email "[email protected]" | |
| git config --local user.name "GitHub Action" | |
| git add "*.pdf" | |
| git commit -m "automated .pdf update" | |
| git push | |
| else | |
| echo "No changes in PDF files" | |
| fi |