diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-15 21:23:45 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-15 21:23:45 +0200 |
commit | 08563510e0f4328d9e893f17fc1fd37bac00dbc7 (patch) | |
tree | f3335969fae3d526b4d9e968a374dd54cc87926b /Makefile | |
parent | 96ba331ed3395bd61f377e5c176b372d38e078da (diff) | |
download | lualibs-08563510e0f4328d9e893f17fc1fd37bac00dbc7.tar.gz |
fix Makefile
Diffstat (limited to 'Makefile')
-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 |