From cc9d94a66a129cdb9ff84e35f09f9d9b72ff4549 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 8 Feb 2004 15:39:36 +0000
Subject: Tweak golive

---
 Makefile.devel | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile.devel')

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