From 70f66039601a150c5a264e68e01957bd1d3a7b32 Mon Sep 17 00:00:00 2001
From: Joseph Myers <jsm28@cam.ac.uk>
Date: Tue, 28 Aug 2001 22:11:02 +0100
Subject: [PATCH] update_web_docs: Also check out texinfo.tex from
 gcc/doc/include.

	* update_web_docs: Also check out texinfo.tex from
	gcc/doc/include.

From-SVN: r45236
---
 maintainer-scripts/ChangeLog       | 5 +++++
 maintainer-scripts/update_web_docs | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index af8ea17f0e89..d23ab08e1640 100644
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -1,3 +1,8 @@
+2001-08-28  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+	* update_web_docs: Also check out texinfo.tex from
+	gcc/doc/include.
+
 2001-08-06  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
 
 	* update_web_docs (PREPROCESS): Rename to WWWPREPROCESS.
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index c39e0ad94760..65faa2dcdc94 100755
--- a/maintainer-scripts/update_web_docs
+++ b/maintainer-scripts/update_web_docs
@@ -90,7 +90,7 @@ find $CVSROOT/gcc -name \*.texi,v -print | fgrep -v -f/home/gccadmin/scripts/doc
 # Checkout all the texi files and get them into a single directory.
 # If we ever have texi files with the same name we'll have to do this
 # differently.
-cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/texinfo.tex gcc/gcc/doc/texinfo.tex
+cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/texinfo.tex gcc/gcc/doc/texinfo.tex gcc/gcc/doc/include/texinfo.tex
 mv `find . -name \*.texi -print` .
 mv `find . -name \*.tex -print` .
 
-- 
GitLab