From 3f4ded7c3d2bd6e7c6a2209b923013b5697d4015 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 29 Mar 2013 17:26:02 +0000
Subject: [PATCH] -fixing ecos.texi

---
 doc/ecos.texi | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/doc/ecos.texi b/doc/ecos.texi
index bdd38763..00fad740 100644
--- a/doc/ecos.texi
+++ b/doc/ecos.texi
@@ -312,12 +312,7 @@ YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER
 PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE
 POSSIBILITY OF SUCH DAMAGES.
 
-@iftex
-@heading ECOS EXTENSION
-@end iftex
-@ifinfo
-@center ECOS EXTENSION
-@end ifinfo
+@center @b{ECOS EXTENSION}
 
 
 @item