diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-10 17:36:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-10 17:36:39 +0000 |
| commit | d1548138271b2191f2235125cc5c67f8b9829288 (patch) | |
| tree | 175b945bda8d6f470a515d99cfbe078f52bb30ef /Makefile.devel | |
| parent | ed76a6345b042f073227d125b0fd129c1a6588af (diff) | |
Added final message to make release.
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.devel b/Makefile.devel index 8aabffbd..c3bf73e7 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -176,7 +176,7 @@ dist: cvsclean tar -cvhf $(DISTBUILDIR)/$(RELEASENAME).tar -C $(DISTBUILDIR) $(RELEASENAME) gzip -9 $(DISTBUILDIR)/$(RELEASENAME).tar @echo "*************************************************" - @echo " Finished." + @echo " Finished making dist." @echo "*************************************************" @@ -194,7 +194,9 @@ release: tag dist mkdir -p $(RELEASEDIR) cp -pfr $(DISTBUILDIR)/* $(RELEASEDIR) (cd $(RELEASEDIR); ln -sf $(RELEASENAME) $(NAME)) - + @echo "*************************************************" + @echo " Finished installing dist." + @echo "*************************************************" |