From 622fa107118ae96d9e94b4c601c2633006bf1d75 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 5 Dec 2008 11:24:05 +0000
Subject: Fix extra @end defvar

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

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 18f36906..14c3bda2 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -2443,7 +2443,6 @@ in addition to the four modes for Proof General (script, shell, response, pbp).
 Set this variable if you want additional modes to also display
 tokens (for example, editing documentation or source code files).
 @end defvar
-@end defvar
 
 
 
-- 
cgit v1.2.3