Stop texi2html complaining about unknown command @c=====

1 files changed, 14 insertions, 14 deletions

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index c87f855b..8c78919a 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -391,7 +391,7 @@ Thanks to all of you (and apologies to anyone missed).
 
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c CHAPTER: Introduction
 @c
@@ -711,7 +711,7 @@ contents for full details.
 
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c CHAPTER: Basic Script Management
 @c
@@ -1665,7 +1665,7 @@ use a fresh Emacs.)
 
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c CHAPTER: Proof by Pointing
 @c 
@@ -1768,7 +1768,7 @@ explicit yank.
 
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c CHAPTER: Advanced Script Management
 @c
@@ -2094,7 +2094,7 @@ The default value is @code{t}.
 
 
 
-@c=================================================================
+@c =================================================================
 @c 
 @c  CHAPTER:  Support for other Packages
 @c
@@ -2418,7 +2418,7 @@ Add completions from the current tags table.
 @end deffn
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c CHAPTER
 @c
@@ -3044,7 +3044,7 @@ prover specific ones using the @code{@emph{PA}-} mechanism).
 
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c CHAPTER
 @c
@@ -3217,7 +3217,7 @@ own abbreviation tables.
 
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c  CHAPTER: LEGO Proof General
 @c 
@@ -3320,7 +3320,7 @@ Lego home page URL.
 @c not tamper with
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c  CHAPTER: Coq Proof General
 @c
@@ -3495,7 +3495,7 @@ the ProofGeneral/coq directory. At Emacs exit you will be asked if you
 want to save abbrevs; answer yes.
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c  CHAPTER: Isabelle Proof General
 @c
@@ -3980,7 +3980,7 @@ along with the other Emacs customization settings.
 @c FIXME todo: theorem dependencies, MMM
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c  CHAPTER: HOL Proof General
 @c
@@ -4021,7 +4021,7 @@ General and support and improve it.  Please volunteer!
 
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c  CHAPTER: Shell Proof General
 @c
@@ -4056,7 +4056,7 @@ in Proof General.  Please recommend it to your colleagues (e.g., the
 model checking crew).
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c APPENDIX: Obtaining and Installing
 @c
@@ -4244,7 +4244,7 @@ the @file{coq} directory in the Proof General home directory.
 
 
 
-@c=================================================================
+@c =================================================================
 @c
 @c APPENDIX: Known Bugs
 @c