From 87174e13a8aa064f6d00ef9248da9938ea4978f6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 7 Feb 2004 19:22:38 +0000
Subject: Updated.

---
 html/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/Makefile b/html/Makefile
index 54aca8ff..182a7a17 100644
--- a/html/Makefile
+++ b/html/Makefile
@@ -17,7 +17,7 @@ IGNOREDWEBFILES=*~,*.NOEXPORT,CVS/,/test/,/test/*,/tmp,/tmp/*,/Makefile,.cvsigno
 # --include=ProofGeneral-* to avoid deleting archives
 # --delete-excluded
 EXCLUDEFILE=.tmp-rsync-excludes
-RSYNC=rsync -e ssh -auv --safe-links --force  --exclude-from=${EXCLUDEFILE} --include='ProofGeneral-*' --exclude="/${EXCLUDEFILE}" --cvs-exclude
+RSYNC=rsync -e ssh -auv --safe-links --force  --exclude-from=${EXCLUDEFILE} --include='releases-emacs' --exclude="/${EXCLUDEFILE}" --cvs-exclude
 
 DESTWEB=ssh.inf.ed.ac.uk:/group/project/proofgeneral/web
 DESTCGI=ssh.inf.ed.ac.uk:/group/project/proofgeneral/cgi
-- 
cgit v1.2.3