#!/bin/sh -x # Run this from /tmp. CVSROOT=/cvs/gcc export CVSROOT PATH=/usr/local/bin:$PATH WWWBASE=/www/gcc/htdocs WWWBASE_PREFORMATTED=/www/gcc/htdocs-preformatted WWWPREPROCESS='/www/gcc/bin/preprocess -r' # Process options -rrelease and -ddirectory RELEASE="" SUBDIR="" while [ $# -gt 0 ]; do case $1 in -r*) if [ -n "$RELEASE" ]; then echo "Multiple releases specified" >&2 exit 1 fi RELEASE="${1#-r}" if [ -z "$RELEASE" ]; then shift RELEASE="$1" if [ -z "$RELEASE" ]; then echo "No release specified with -r" >&2 exit 1 fi fi ;; -d*) if [ -n "$SUBDIR" ]; then echo "Multiple subdirectories specified" >&2 exit 1 fi SUBDIR="${1#-d}" if [ -z "$SUBDIR" ]; then shift SUBDIR="$1" if [ -z "$SUBDIR" ]; then echo "No subdirectory specified with -d" >&2 exit 1 fi fi ;; *) echo "Unknown argument \"$1\"" >&2 exit 1 ;; esac shift done if [ -n "$RELEASE" ] && [ -z "$SUBDIR" ]; then echo "Release specified without subdirectory" >&2 exit 1 fi if [ -z "$SUBDIR" ]; then DOCSDIR=$WWWBASE/onlinedocs else DOCSDIR=$WWWBASE/onlinedocs/$SUBDIR fi if [ ! -d $DOCSDIR ]; then mkdir $DOCSDIR fi if [ -z "$RELEASE" ]; then RELEASE=HEAD DO_THANKS_HTML=y else DO_THANKS_HTML=n fi WORKDIR=/tmp/gcc-doc-update.$$ /bin/rm -rf $WORKDIR /bin/mkdir $WORKDIR cd $WORKDIR # Find all the texi files in the repository, except those in directories # we do not care about (texinfo, etc). find $CVSROOT/gcc -name \*.texi,v -print | fgrep -v -f/home/gccadmin/scripts/doc_exclude | sed -e s#$CVSROOT/##g -e s#,v##g -e s#Attic/##g > FILES # 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 mv `find . -name \*.texi -print` . mv `find . -name \*.tex -print` . # Now convert the relevant files from texi to HTML and PostScript. for file in cpp chill cppinternals gcc gcj g77 objc-features porting; do if [ -e ${file}.texi ]; then /usr/local/bin/texi2html -glossary -menu -split_chapter ${file}.texi texi2dvi ${file}.texi $file.gz done # On the 15th of the month, wipe all the old files from the # web server. today=`date +%d` if test $today = 15; then find $DOCSDIR -type f -maxdepth 1 -print | grep -v index.html | xargs rm fi # And copy the resulting html files to the web server for file in *.html *.ps; do cat $DOCSDIR/$file | sed -e '/^