From 447f43995ae8d83c82d98d9d8968e90d6c4518e7 Mon Sep 17 00:00:00 2001
From: Joris
Date: Mon, 13 Jul 2020 21:36:46 +0200
Subject: Fix deployment

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index cfcf127..c40999d 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@ export PATH := node_modules/.bin:$(PATH)
 
 build: public/main.js
 
-public/main.js: node_modules $(shell find src \( -type d -o \( -type f -a -regex ".*\.ml" \) \))
+public/main.js: install $(shell find src \( -type d -o \( -type f -a -regex ".*\.ml" \) \))
 	@echo "Building $@"
 	@bsb -make-world
 	@rollup --config rollup.config.js
-- 
cgit v1.2.3