From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 12 Jan 2021 19:38:15 +0000 (+0000)
Subject: Makefile: Know how to make shapelib.html
X-Git-Tag: otter-0.3.0~60
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=afcd76b81bcda0506f72b6b0632f705e7fd01f36;p=otter.git

Makefile: Know how to make shapelib.html

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/.gitignore b/.gitignore
index 8cbc7842..b6e7fffc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@ templates/AGPLv3
 templates/CC-BY-SA-3.0
 templates/CC-BY-SA-4.0
 templates/otter_wasm.ns.d.ts
+templates/shapelib.html
 save/lock
 /library/*/files.make
 /library/*/*.usvg
diff --git a/Makefile b/Makefile
index aeaef80e..338b3597 100644
--- a/Makefile
+++ b/Makefile
@@ -268,6 +268,12 @@ $(addprefix templates/,$(TXTFILES)): templates/%: %.txt
 
 libraries: $(LIBRARY_FILES)
 
+templates/shapelib.html: stamp/cargo.debug
+	$(NAILING_CARGO) --just-run --- \
+		$(abspath $(TARGET_DIR))/debug/otterlib \
+	--libs '$(addprefix $(PWD)/, $(addsuffix .toml, $(LIBRARIES)))' \
+		preview >$@.tmp && mv -f $@.tmp $@
+
 #---------- webdriver tests (wdt) ----------
 
 WDT_TESTS := $(basename $(notdir $(wildcard wdriver/wdt-*.rs)))