From ba0a4a7fa382b0e50fbbe1911f81de02bfc86b9a Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 5 May 2011 17:44:15 +0000
Subject: Restore front page scary image. Update dates

---
 doc/PG-adapting.texi | 24 ++++--------------------
 1 file changed, 4 insertions(+), 20 deletions(-)

(limited to 'doc')

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 27dcb0df..9009235e 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -15,12 +15,6 @@
 @settitle Adapting Proof General
 @setchapternewpage odd
 @paragraphindent 0
-@c A flag for whether to include the front image in the
-@c DVI file.  You can download the front image from
-@c http://proofgeneral.inf.ed.ac.uk/ProofGeneralPortrait.eps.gz
-@c then put it into this directory and 'make dvi' (pdf,ps)
-@c will set the flag below automatically.
-@clear haveeps
 @iftex
 @afourpaper
 @end iftex
@@ -62,7 +56,7 @@
 
 @set version 4.1
 @set emacsversion 23.2
-@set last-update January 2011
+@set last-update May 2011
 @set rcsid $Id$
 
 @dircategory Theorem proving
@@ -95,25 +89,15 @@ END-INFO-DIR-ENTRY
 @subtitle @value{last-update}
 @subtitle @b{proofgeneral.inf.ed.ac.uk}
 
-@c nested ifs fail here completely, WHY?
 @iftex
-@ifset haveeps
-@c @vskip 1cm
-@c The .eps file takes 8.4M!  A pity texi can't seem
-@c to deal with gzipped files? (goes down to 1.7M).
-@c But this still seems too much to put into the
-@c PG distribution just for an image on the manual page,
-@c so we take it out for now.
-@c Ideally would like some way of generating eps from
-@c the .jpg file.   
-@c image{ProofGeneralPortrait}
-@end ifset
+@vskip 1cm
+@image{ProofGeneral}
 @end iftex
 @author David Aspinall with T. Kleymann
 @page
 @vskip 0pt plus 1filll
 This manual and the program Proof General are
-Copyright @copyright{} 2000-2004 by members
+Copyright @copyright{} 2000-2011 by members
 of the Proof General team, LFCS Edinburgh.
 
 
-- 
cgit v1.2.3