From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 21 Nov 2020 23:06:48 +0000 (+0000)
Subject: deploy specs too
X-Git-Tag: otter-0.2.0~413
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=b3c429a907040dfb5af1ccc6864b1db6735e453f;p=otter.git

deploy specs too

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

diff --git a/Makefile b/Makefile
index 6eea28d4..2624fb7c 100644
--- a/Makefile
+++ b/Makefile
@@ -232,7 +232,7 @@ deploy: stamp/cargo.deploy-build bundled-sources assets libraries
 	rsync -zv --progress $(addprefix $(DEPLOY_TARGET_DIR)/,$(PROGRAMS)) $(DEPLOY_BASE)/bin/
 	rsync -rv --progress $(TARGET_DIR)/bundled-sources/. $(DEPLOY_BASE)/bundled-sources
 	rsync -r README.md $(DEPLOY_BASE)/.
-	rsync -r --delete --exclude=\*~ library $(DEPLOY_BASE)/.
+	rsync -r --delete --exclude=\*~ library specs $(DEPLOY_BASE)/.
 	rsync -r $(FILEASSETS) $(addprefix $(WASM_PACKED)/, $(WASM_ASSETS)) \
 		$(DEPLOY_BASE)/assets/
 	ssh -o BatchMode=true $(DEPLOY_USER) $(DEPLOY_FINISH)