Update README #19
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: Build and Package LaTeX DTX and INS Files | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: texlive/texlive:latest | |
| steps: | |
| - name: Install requirements | |
| run: | | |
| apt-get update | |
| apt-get install -y zip | |
| - name: Checkout Repository | |
| uses: actions/checkout@v4 | |
| - name: Run LaTeX INS file | |
| run: latex temporal-logic.ins | |
| - name: Build PDF from DTX | |
| run: | | |
| latexmk -pdf temporal-logic.dtx | |
| mv temporal-logic.pdf temporal-logic-doc.pdf | |
| - name: Create ZIP archive for CTAN | |
| run: | | |
| mkdir ctan-upload | |
| cp temporal-logic.dtx ctan-upload/ | |
| cp temporal-logic.ins ctan-upload/ | |
| cp temporal-logic-doc.pdf ctan-upload/ | |
| cp README.md ctan-upload/ | |
| cd ctan-upload | |
| zip ../temporal-logic.zip * | |
| - name: Upload ZIP file | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: package | |
| path: temporal-logic.zip |