aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-08-17 18:44:05 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-08-17 18:44:05 +0000
commit551a6953e8989f8af100ca157e14a753781d0bfa (patch)
tree0792c87a7b454f42695c562e36dc2fb1975a40d3 /Makefile.devel
parent8d9474556f1ddb9b4f4289aa8786dacc040fce6d (diff)
Updated for web pages, now only low-priority.
Diffstat (limited to 'Makefile.devel')
-rw-r--r--Makefile.devel4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.devel b/Makefile.devel
index 7b2f4cf8..01c10a4f 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -299,8 +299,8 @@ dist:
@echo "*************************************************"
@echo " Making compressed tar file..."
@echo "*************************************************"
- (cd $(DISTBUILDIR); for f in $(IGNOREDFILES); do echo $$f >> ignoredfiles; done)
- $(TAR) -cvhf $(DISTBUILDIR)/$(RELEASENAMETAR) -C $(DISTBUILDIR) $(RELEASENAME) -X $(DISTBUILDIR)/ignoredfiles
+ for f in $(IGNOREDFILES); do echo $$f >> ignoredfiles; done
+ $(TAR) -cvhf $(DISTBUILDIR)/$(RELEASENAMETAR) -C $(DISTBUILDIR) $(RELEASENAME) -X ignoredfiles
rm -f ignoredfiles
gzip -9 $(DISTBUILDIR)/$(RELEASENAMETAR)
@echo "*************************************************"