From c491ee7b67aeb30c021e6f540bdaa7c19d484760 Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Tue, 15 Aug 2023 15:30:31 +0200 Subject: Use my custom fonts --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 2eb506a..6dadc1d 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,9 @@ sources := ${shell find src -type f -regextype egrep -regex '.*/(index\.html|.* outputs := ${sources:src/%=out/%} outputs := ${outputs:%.dot=%.svg} -all: ${outdirs} ${outputs} +all: ${outdirs} ${outputs} fonts + @cp -r fonts out + @printf 'CP\tfonts\n' ${outdirs}: @mkdir -p $@ -- cgit v1.2.3