diff options
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 |