From 08563510e0f4328d9e893f17fc1fd37bac00dbc7 Mon Sep 17 00:00:00 2001
From: Philipp Gesang <phg42.2a@gmail.com>
Date: Sun, 15 Sep 2013 21:23:45 +0200
Subject: fix Makefile

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f04503a..a50c63d 100644
--- a/Makefile
+++ b/Makefile
@@ -70,7 +70,10 @@ $(UNPACKED): lualibs.dtx
 	$(DO_TEX)
 
 define make-ctandir
-@rm -r $(DISTDIR)
+@if [ -d $(DISTDIR) ] ; \
+ then \
+     rm -r $(DISTDIR) ; \
+ fi
 @mkdir $(DISTDIR) && cp $(ALL_FILES) $(DISTDIR)
 endef
 
-- 
cgit v1.2.3