Add "make txt" to produce a plain text version of the doc

doc/Makefile

-# $Id: Makefile,v 1.9 2003-04-15 05:16:31 geuzaine Exp $
+# $Id: Makefile,v 1.10 2003-04-15 21:49:43 geuzaine Exp $
 #
 # Copyright (C) 1997-2003 C. Geuzaine, J.-F. Remacle
 #
@@ -23,7 +23,7 @@ all:
 	cd texinfo && ${MAKE} all
 	gtar zcvf gmsh-doc.tgz\
           FAQ CONTRIBUTORS VERSIONS README.win32 \
-          texinfo/gmsh.ps texinfo/gmsh.pdf \
+          texinfo/gmsh.ps texinfo/gmsh.pdf texinfo/gmsh.txt\
           texinfo/*.html \
           texinfo/gmsh-info.tgz gmsh.1 
 

doc/texinfo/Makefile

-# $Id: Makefile,v 1.3 2003-03-21 00:52:48 geuzaine Exp $
+# $Id: Makefile,v 1.4 2003-04-15 21:49:43 geuzaine Exp $
 #
 # Copyright (C) 1997-2003 C. Geuzaine, J.-F. Remacle
 #
@@ -46,11 +46,13 @@ install-info:
 infoz: info
 	gtar zcvf gmsh-info.tgz gmsh.info*
 
-all: ps pdf html infoz
+txt:
+	makeinfo --no-headers gmsh.texi > gmsh.txt
+
+all: ps pdf html infoz txt
 
 clean:
 	rm -f *.cp* *.fn* *.ky* *.pg* *.tp* *.vr* *.mv*\
-                         *.log *.toc *.aux *.dvi *.html \
-                         gmsh.ps gmsh.pdf gmsh.info* \
-                         gmsh-info.tgz gmsh-doc.tgz
+          *.log *.toc *.aux *.dvi *.html *.txt\
+          gmsh.ps gmsh.pdf gmsh.info* gmsh-info.tgz gmsh-doc.tgz
 

doc/texinfo/README

@@ -9,12 +9,13 @@ independent file)
 
 a postscript file             make ps            TeX, Texinfo, dvips
 
-a pdf file                    make pdf           TeX, Texinfo
+a pdf file                    make pdf           pdfTeX, Texinfo
 
 a collection of html          make html          Perl
 files
 
 the interactive info          make info          Texinfo
-(GNU project-like) 
 documentation
 
+a plain text version of       make txt           Texinfo
+the doc