From 87901fbab283f3778dea744934ce3a35618b0bbb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Jan 2008 18:56:11 +0000
Subject: Missing quote

---
 Makefile.devel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.devel')

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
-- 
cgit v1.2.3