From c37410eb7c5ddd75d8970d794258c5a71aa96e92 Mon Sep 17 00:00:00 2001 From: Zachary Yedidia Date: Tue, 22 Mar 2016 20:15:00 -0400 Subject: [PATCH] Fix makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0fda6ec1..280a8c36 100644 --- a/Makefile +++ b/Makefile @@ -7,4 +7,4 @@ install: syn-files build syn-files: mkdir -p ~/.micro/syntax - cp -r runtime ~/.micro + cp -r runtime/* ~/.micro