Add Makefile target for publishing PDFs
authorMartin Pitt <martin@piware.de>
Sun, 19 Jan 2020 11:02:11 +0000 (12:02 +0100)
committerMartin Pitt <martin@piware.de>
Sun, 19 Jan 2020 11:26:09 +0000 (12:26 +0100)
commit4a64ab3b3bf9cd430f3ddb1fc74045c0a1f835f6
tree332333063cbf66efa65d7d9b89440707a79ea610
parent2ae8623120e5eae4e3c63bf1f8ac55b7709a7886
Add Makefile target for publishing PDFs
Makefile