diff options
Diffstat (limited to 'board/2024/2024-07-06/Makefile')
-rw-r--r-- | board/2024/2024-07-06/Makefile | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/board/2024/2024-07-06/Makefile b/board/2024/2024-07-06/Makefile index f42ba37..3eb4249 100644 --- a/board/2024/2024-07-06/Makefile +++ b/board/2024/2024-07-06/Makefile @@ -1,6 +1,15 @@ MINUTES = minutes agenda POLICY = board-procedures +EXCERPTS = excerpt # minute excerpt from encryptede markdown -ROOT = $(shell git rev-parse --show-toplevel) +PDF = 2024-07-06-board # are archived -include $(ROOT)/lib/Makefile +ALL = agenda.pdf 2024-07-06-board.pdf 2024-07-06-board-excerpt.pdf + +include lib/Makefile + +2024-07-06-board.pdf: minutes.pdf board-procedures.pdf on-board-procedures.pdf + pdftk $^ cat output $@ + +2024-07-06-board-excerpt.pdf: excerpt.pdf + pdftk $^ cat output $@ |