From e3b7603df328550f3826e0957e0fc9b37adda5f7 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 12 Jan 2021 23:24:16 +0000
Subject: [PATCH] make (just) shapelib docs if you ask for shapelib

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ed516434..7a94a56f 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ src=.
 default: all check doc
 all: debug
 everything: debug doc release check bundled-sources
-shapelib: templates/shapelib.html
+shapelib: templates/shapelib.html stamp/cargo.doc-otter-only
 
 #---------- funky macros etc. ----------
 
@@ -169,6 +169,10 @@ stamp/cargo.doc: $(call rsrcs,.)
 	$(CARGO) doc --workspace 2>&1 | egrep -vf .cargo-doc-suppress-errors
 	$(stamp)
 
+stamp/cargo.doc-otter-only: $(call rsrcs,.)
+	$(CARGO) doc -p otter --no-deps
+	$(stamp)
+
 $(addprefix stamp/cargo.wasm-,$(DR)):: \
 stamp/cargo.wasm-%: $(call rsrcs, zcoord wasm Cargo.*)
 	$(CARGO) build --target $(WASM) -p otter-wasm $(call cr,$*)
-- 
2.30.2