summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-05-30 16:36:10 +0200
committerJonas Smedegaard <dr@jones.dk>2024-06-04 17:35:42 +0200
commitc4b7209e96284c0eb0e2b50c99275482110efd58 (patch)
tree2de945d10254fa59d7d082c2f9b30a7602cc4195 /Makefile
parenteea1f8cae744ca32d4f9841127ee41288802f0b4 (diff)
add make targets annot-all annot-sync annot-fetch annot-render
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile11
1 files changed, 11 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 0647e0c..fe71696 100644
--- a/Makefile
+++ b/Makefile
@@ -43,6 +43,17 @@ learn/$(ONTOLOGIES_VERSION)/%.ttl: learn/%.ttl
-e 's,\n\s*owl:imports\s[^\n]+;(?=\n),,g;' \
< $< > $@
+annot-all: annot-sync annot-fetch
+
+annot-sync:
+ gooseberry sync
+
+annot-fetch:
+ gooseberry view --uri urn:x-pdf:923a0c10ff1cdb4db772a8a948176c52 > worlding/_annot.md
+
+annot-render:
+ gooseberry make --uri urn:x-pdf:923a0c10ff1cdb4db772a8a948176c52 --clear --force
+
cal-all: cal-fetch cal-render cal-publish
cal-fetch: