From 71a7bacccde0c81b2be894af3ec985b130921428 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Wed, 6 Apr 2016 18:29:42 +0200
Subject: [PATCH] Fill TEMP_CHECKOUT/dist from working copy

---
 js/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/Makefile b/js/Makefile
index 9911319..50c03e3 100644
--- a/js/Makefile
+++ b/js/Makefile
@@ -33,6 +33,7 @@ deploy-copy:
 	[ -f $(SYNDICATE_WEB)/index.md ]
 
 	git clone .. TEMP_CHECKOUT
+	cp -a dist/. TEMP_CHECKOUT/js/dist/.
 	for d in examples dist third-party; do \
 		[ ! -d $(SYNDICATE_WEB)/$$d ] || (cd $(SYNDICATE_WEB); git rm -rf $$d); \
 		cp -a TEMP_CHECKOUT/js/$$d $(SYNDICATE_WEB)/$$d; \