diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:17:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:17:16 +0000 |
commit | 94ac46bdf258163208650f9d41a7077cacea0c4d (patch) | |
tree | 07318610664c22fc4874e5dd15134c12b5e12770 | |
parent | 7554c20af323a7d07d6ca77b1642d9f75ba058b7 (diff) |
dcsinstall copies from DISTBUILDIR instead for local only release
-rw-r--r-- | Makefile.devel | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.devel b/Makefile.devel index a54421a9..563c6cad 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -302,11 +302,11 @@ releaseall: release rpmrelease releaseclean ############################################################ # # dcsinstall: -# Install distribution from $(RELEASEDIR) at dcs.ed +# Install distribution from $(DISTBUILDIR) at dcs.ed # Clean out DCSEXPORTDIR first. # DCSEXPORTDIR=/export/local/shar/elisp/proofgeneral dcsinstall: rm -rf $(DCSEXPORTDIR) mkdir -p $(DCSEXPORTDIR) - (cd $(DCSEXPORTDIR); tar -xpzf $(RELEASEDIR)$(RELEASENAMETARGZ)) + (cd $(DCSEXPORTDIR); tar -xpzf $(DISTBUILDIR)/$(RELEASENAMETARGZ)) |