From c71e29608c68e5f40b01a75a1d4b7849fdfa4f94 Mon Sep 17 00:00:00 2001 From: jsm28 Date: Mon, 17 Dec 2001 19:39:22 +0000 Subject: [PATCH] * update_web_docs: Use makeinfo --html instead of texi2html. Remove support for pre-3.1 GCC versions. Build online docs for gccint manual. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@48120 138bc75d-0d04-0410-961f-82ee72b054a4 --- maintainer-scripts/ChangeLog | 6 ++++++ maintainer-scripts/update_web_docs | 40 ++++++++++++++++++++++---------------- 2 files changed, 29 insertions(+), 17 deletions(-) diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index b206bc153ed..b1cfdfc9d89 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,5 +1,11 @@ 2001-12-17 Joseph S. Myers + * update_web_docs: Use makeinfo --html instead of texi2html. + Remove support for pre-3.1 GCC versions. Build online docs for + gccint manual. + +2001-12-17 Joseph S. Myers + * update_web_docs_old: Copy from update_web_docs. Add comment that this is for GCC 3.0.x and earlier versions. diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index a568f09f791..5a3d3290c86 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -1,5 +1,8 @@ #!/bin/sh -x +# Generate HTML documentation from GCC Texinfo docs. +# This version is for GCC 3.1 and later versions. + # Run this from /tmp. CVSROOT=/cvs/gcc export CVSROOT @@ -88,25 +91,26 @@ find $CVSROOT/gcc -name \*.texi,v -print | fgrep -v -f/home/gccadmin/scripts/doc # Checkout all the texi files. -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 +cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/doc/include/texinfo.tex -# Find the directory to pass to -I; this is the one with texinfo.tex +# The directory to pass to -I; this is the one with texinfo.tex # and fdl.texi. -texitexloc=`find . -name texinfo.tex` -includedir=${texitexloc%/*} +includedir=gcc/gcc/doc/include + +MANUALS="cpp chill cppinternals gcc gccint gcj g77 gnat-style libiberty porting" # Now convert the relevant files from texi to HTML and PostScript. -for file in cpp chill cppinternals gcc gcj g77 gnat-style libiberty \ - objc-features porting; do +for file in $MANUALS; do filename=`find . -name ${file}.texi` if [ "${filename}" ]; then - /usr/local/bin/texi2html -glossary -menu -split_chapter -I ${includedir} ${filename} + makeinfo --html -I ${includedir} -I `dirname ${filename}` ${filename} texi2dvi -I ${includedir} ${filename} $file.gz done @@ -115,28 +119,30 @@ done today=`date +%d` if test $today = 15; then find $DOCSDIR -type f -maxdepth 1 -print | grep -v index.html | xargs rm + for m in $MANUALS; do + rm $DOCSDIR/$m/*.html + done fi # And copy the resulting html files to the web server -for file in *.html *.ps; do +for file in */*.html *.ps; do cat $DOCSDIR/$file | - sed -e '/^