summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-06-03 07:55:34 +0200
committerJonas Smedegaard <dr@jones.dk>2024-06-04 17:35:42 +0200
commita7345d2f8535a6d7ceb7c73f6811b7bce96d14e0 (patch)
tree155c0dbf69c4104c8d5270f5835433d7ddf0d895 /Makefile
parent718b0e29d6a6cac9805f1a9fb7c638ea3d2b78bd (diff)
include local rerendering of tags in make target annot-all
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b06b32e..e50c9a2 100644
--- a/Makefile
+++ b/Makefile
@@ -46,7 +46,7 @@ learn/$(ONTOLOGIES_VERSION)/%.ttl: learn/%.ttl
-e 's,\n\s*owl:imports\s[^\n]+;(?=\n),,g;' \
< $< > $@
-annot-all: annot-sync annot-render
+annot-all: annot-sync annot-render $(ANNOT_TAGS:%=annot/%/index.qmd)
annot-sync:
gooseberry sync