From c269081bf1df520623a790dff8b3eb5c5ceb2aaf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Feb 2004 12:00:31 +0000
Subject: Fix link to portrait

---
 doc/README.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/README.doc b/doc/README.doc
index 374bd121..204f1c24 100644
--- a/doc/README.doc
+++ b/doc/README.doc
@@ -20,7 +20,7 @@ If you want a front image on the printed dvi/gs manuals, you need to
 have the ProofGeneral.eps file in this directory.  You can download a
 compressed version from
 
-http://proofgeneral.inf.ed.ac.uk/ProofGeneral/doc/ProofGeneral.eps.gz
+   http://proofgeneral.inf.ed.ac.uk/ProofGeneralPortrait.eps.gz
 
 This file is not included with the distribution because it is rather
 large (1.6M).  
-- 
cgit v1.2.3