aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2025-12-09 22:52:10 +0100
committerJonas Smedegaard <dr@jones.dk>2025-12-09 22:52:10 +0100
commit93937682aa8e62bdc7b0e3b54aaf09c993cbadb7 (patch)
treeeb028498be5081dd922a95f7568b0f405917f3fc /Makefile
parent5da869914695a6b80d7e2b4f515f5b90026c748e (diff)
and and enable rdf make snippet
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 990dd19..d528ebc 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,5 @@
DOCUMENTS = report
+PDF_DOCUMENTS = $(wildcard _site/*.pdf)
PAD_LIST = \
plan-copyleft.md:ruc-copyleft-plan \