diff options
| author | David Aspinall | 2004-02-08 16:21:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-08 16:21:01 +0000 |
| commit | d5df98fe30c28e1eeddf9be12d10a557512779af (patch) | |
| tree | a7fc2a220bf47d8dbc26f7b1cb0fed7cbbce6149 | |
| parent | a53ce38103521381671d89b543ae76049eae134f (diff) | |
Clean releasedir after golive
| -rw-r--r-- | Makefile.devel | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.devel b/Makefile.devel index 74cfcb70..261aea89 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -133,8 +133,8 @@ RELEASEDIR = /tmp/proofgeneral-www # How to make the release "live". (Could be "true" to do nothing). # 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/; rm -rf $(RELEASEDIR); cd $(HTMLDIR); make pub.$(DOWNLOADHTML); make pub.${DOWNLOADINFOHTML}) +# Use rsync instead of scp: it copies links. Also clean releasedir +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}; rm -rf ${RELEASEDIR}) CVSNAME = ProofGeneral |