From e152cb1180a724cddbcdbb8f85708e8c8f4a3674 Mon Sep 17 00:00:00 2001
From: mgcaret <mgcaret@users.noreply.github.com>
Date: Sat, 4 Nov 2017 00:05:38 -0700
Subject: [PATCH] makefile fix

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

diff --git a/Makefile b/Makefile
index 6846dda..2136581 100755
--- a/Makefile
+++ b/Makefile
@@ -45,5 +45,5 @@ DAVEX.MG.SHK: $(MG_CMDS)
 .PHONY: clean
 clean:
 	rm -f *.o *.p8c *.lst *.map davex.mg.po DAVEX.MG.SHK help/*
-	rmdir help
+	if [ -d help ]; then rmdir help; fi