diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 15:39:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 15:39:36 +0000 |
commit | cc9d94a66a129cdb9ff84e35f09f9d9b72ff4549 (patch) | |
tree | 33a3f4bb6302889b239ffe835d56058c97b87d54 /Makefile.devel | |
parent | fda815e36b89a65929c7ebc2171ec141e4b7de18 (diff) |
Tweak golive
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index c41ec028..bc876df6 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -26,6 +26,8 @@ ## make distinstall - install distribution build by 'make dist' ## into DISTINSTALLDIR. ## +## make golive - publish previously built distribution +## ## make links - add some links which help testing web pages ## from the html directory. ## @@ -132,7 +134,7 @@ RELEASEDIR = /tmp/proofgeneral-www # was: GOLIVE=true # GOLIVE=scp -pr $(RELEASEDIR)/* ssh.inf.ed.ac.uk:/group/project/proofgeneral/web/releases/ # use rsync instead of scp: it copies links -GOLIVE=rsync -e ssh -auv $(RELEASEDIR)/* ssh.inf.ed.ac.uk:/group/project/proofgeneral/web/releases/ +GOLIVE=(rsync -e ssh -auv $(RELEASEDIR)/* ssh.inf.ed.ac.uk:/group/project/proofgeneral/web/releases/; rm -rf $(RELEASEDIR); cd $(HTMLDIR); make pub.$(DOWNLOADHTML); make pub.${DOWNLOADINFOHTML}) CVSNAME = ProofGeneral |