No description
- Python 60.7%
- Shell 39.3%
| common | do_patch: allow multiple patches | |
| documents | Zhang - Heights of Heegner points on Shimura curves: add initital patch.py | |
| .gitignore | Only fetch if missing | |
| .gptignore | Only fetch if missing | |
| LICENSE | Update LICENSE | |
| pdfm | Only fetch if missing | |
| README.md | Working minimal example of pdfm | |
pdfpatches
Common Scripts
- do_fetch: Downloads the PDF using wget and verifies its checksum.
- do_clean: Cleans the downloaded PDF using mutool to prepare it for patching.
- do_patch: Applies all patch files from the patches directory to the cleaned PDF.
- do_optimize: Compresses and optimizes the final PDF.