diff options
| author | David Aspinall | 1998-10-20 10:15:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-20 10:15:01 +0000 |
| commit | 7554c20af323a7d07d6ca77b1642d9f75ba058b7 (patch) | |
| tree | cb1b77e37f6b4564edc9a7f6a1a100b61cd309c1 | |
| parent | bacdff71969c54572fcb65c23c06201e5a92bbe5 (diff) | |
Added dcsinstall target.
| -rw-r--r-- | Makefile.devel | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel index c0fe9717..a54421a9 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -143,6 +143,9 @@ alldocs: FORCE images: FORCE (cd images; $(MAKE) images) + + + ############################################################ ## ## tag: tag the CVS sources of working directory with RELEASE_TAG, @@ -294,3 +297,16 @@ releaseclean: ## Do everything! ## releaseall: release rpmrelease releaseclean + + +############################################################ +# +# dcsinstall: +# Install distribution from $(RELEASEDIR) 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)) |