From 6ba6a73bb719ebb99065747cf07c9f9066e299a7 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 17 Jul 2013 10:38:52 +0000
Subject: Fix image name

---
 doc/PG-adapting.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index f843b9e2..96507f05 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -91,7 +91,7 @@ END-INFO-DIR-ENTRY
 
 @iftex
 @vskip 1cm
-@image{ProofGeneral}
+@image{ProofGeneral-image}
 @end iftex
 @author David Aspinall with T. Kleymann
 @page
-- 
cgit v1.2.3