From 4ad8fa5972b9b91cdb8a731c969fbb1d2fdf8215 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Oct 2000 15:14:36 +0000
Subject: Subtitle caps

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

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 0529d391..f97e76a3 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -93,7 +93,7 @@ END-INFO-DIR-ENTRY
 @title Adapting Proof General
 @subtitle Proof General --- Organize your proofs!
 @sp 1
-@subtitle Adapting Proof General @value{version} to New Provers
+@subtitle Adapting Proof General @value{version} to new provers
 @subtitle @value{last-update}
 @subtitle @b{www.proofgeneral.org}
 
@@ -108,7 +108,7 @@ END-INFO-DIR-ENTRY
 @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}
+@image{ProofGeneralPortrait}
 @end ifset
 @end iftex
 @author David Aspinall with T. Kleymann
-- 
cgit v1.2.3