diff options
| author | David Aspinall | 2004-02-07 19:22:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-07 19:22:38 +0000 |
| commit | 87174e13a8aa064f6d00ef9248da9938ea4978f6 (patch) | |
| tree | 73ed5230cfeda98ff21323e776cbc6416237730a /html | |
| parent | b723126c3ceed5229d6405acc93db6932a07f1b7 (diff) | |
Updated.
Diffstat (limited to 'html')
| -rw-r--r-- | html/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |