summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 4 insertions, 1 deletions
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