diff options
Diffstat (limited to 'doc/PG-adapting.texi')
-rw-r--r-- | doc/PG-adapting.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |