diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-15 12:26:37 -0700 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-15 12:26:37 -0700 |
| commit | 49880e8803d8f813aebcb15a5ecb6dc70d0caa17 (patch) | |
| tree | f3335969fae3d526b4d9e968a374dd54cc87926b /Makefile | |
| parent | 08311ca818df220f8e59fc0ff5835d18913daa89 (diff) | |
| parent | 08563510e0f4328d9e893f17fc1fd37bac00dbc7 (diff) | |
| download | lualibs-49880e8803d8f813aebcb15a5ecb6dc70d0caa17.tar.gz | |
Merge pull request #18 from phi-gamma/master
sync
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 |