diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 18:56:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 18:56:11 +0000 |
commit | 87901fbab283f3778dea744934ce3a35618b0bbb (patch) | |
tree | a6f3338bb6d39d50e415b66f0ac4bb5ed3ce8286 /Makefile.devel | |
parent | a6dfebe407f9a320118f2a412121e431d616a767 (diff) |
Missing quote
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index f4f90766..d76a19c8 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -142,7 +142,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. Also clean releasedir -GOLIVE=(rsync -e ssh -auv $(RELEASEDIR)/* ssh.inf.ed.ac.uk:/group/project/proofgeneral/web/releases/; rm -rf $(RELEASEDIR); cd $(HTMLDIR); for f in $(DOWNLOADHTMLS); do make pub.$f; done; rm -rf ${RELEASEDIR}) +GOLIVE=(rsync -e ssh -auv $(RELEASEDIR)/* ssh.inf.ed.ac.uk:/group/project/proofgeneral/web/releases/; rm -rf $(RELEASEDIR); cd $(HTMLDIR); for f in $(DOWNLOADHTMLS); do make pub.$$f; done; rm -rf ${RELEASEDIR}) CVSNAME = ProofGeneral |