From f6e17825a23b5d4601649cec94f90f9593a147c9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 12:54:46 +0000
Subject: Missing full stop

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 3484f2f2..e28a6a1f 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -739,7 +739,7 @@ to write regular expressions, you can make:
 @b{Your Proof General} for your favourite proof assistant.@*
 For more details of how to make Proof General work
 with another proof assistant,
-see the accompanying manual @i{Adapting Proof General}
+see the accompanying manual @i{Adapting Proof General}.
 @end itemize
 Note that there is some variation between the features supported by
 different instances of Proof General.  The main variation is proof by
-- 
cgit v1.2.3