From b29194b2b47a708274137440ed4a448cff77634f Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Mon, 27 Dec 2004 18:09:25 +0000
Subject: [PATCH] fix txt output with new versions of make info

---
 doc/texinfo/Makefile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/doc/texinfo/Makefile b/doc/texinfo/Makefile
index dc797974a2..9631bc6fd4 100644
--- a/doc/texinfo/Makefile
+++ b/doc/texinfo/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile,v 1.8 2004-03-25 07:55:51 geuzaine Exp $
+# $Id: Makefile,v 1.9 2004-12-27 18:09:25 geuzaine Exp $
 #
 # Copyright (C) 1997-2004 C. Geuzaine, J.-F. Remacle
 #
@@ -50,9 +50,7 @@ infoz: info
 	tar zcvf gmsh-info.tgz gmsh.info*
 
 txt:
-	makeinfo --no-headers gmsh.texi |\
-        sed -n '/...Table of Contents.../,$$p' |\
-        sed 's/...Table of Contents...//' > gmsh.txt
+	makeinfo --no-headers gmsh.texi -o gmsh.txt
 
 all: ps pdf html html1 infoz txt
 
-- 
GitLab