Merge pull request #117 from aspiers/optional-pdf-build
commit64587baee0728b8329cd3d38ae9a9778beae1aaf
authorAdam Spiers <stow@adamspiers.org>
Sun, 8 Sep 2024 17:56:03 +0000 (8 18:56 +0100)
committerGitHub <noreply@github.com>
Sun, 8 Sep 2024 17:56:03 +0000 (8 18:56 +0100)
tree35f493f7ab49f73536fd230f9dc387c098753338
parent01a836a5b747c396230fdfd27e298037b6f3c998
parent6d705e70469b852a7c0d46ec3e7d2fb70a875642
Merge pull request #117 from aspiers/optional-pdf-build