mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-02-21 06:49:13 +08:00
update_web_docs: Only update the install documentation for the CVS HEAD.
* update_web_docs: Only update the install documentation for the CVS HEAD. From-SVN: r43000
This commit is contained in:
parent
7628e178ef
commit
df7ad0448a
@ -1,3 +1,8 @@
|
||||
2001-06-08 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
|
||||
|
||||
* update_web_docs: Only update the install documentation for the
|
||||
CVS HEAD.
|
||||
|
||||
2001-06-07 Joseph S. Myers <jsm28@cam.ac.uk>
|
||||
|
||||
* update_web_docs, doc_exclude: Check out files that may be in the
|
||||
|
@ -154,17 +154,19 @@ if [ "$DO_THANKS_HTML" = y ]; then
|
||||
ln onlinedocs/${contrib_file}.gz thanks.html.gz
|
||||
fi
|
||||
|
||||
# Finally, generate the installation documentation.
|
||||
SOURCEDIR=$WORKDIR
|
||||
DESTDIR=$WWWBASE_PREFORMATTED/install
|
||||
export SOURCEDIR
|
||||
export DESTDIR
|
||||
$WORKDIR/gcc/gcc/doc/install.texi2html
|
||||
# Finally, generate the installation documentation (but only for CVS HEAD).
|
||||
if [ "$RELEASE" = "HEAD" ]; then
|
||||
SOURCEDIR=$WORKDIR
|
||||
DESTDIR=$WWWBASE_PREFORMATTED/install
|
||||
export SOURCEDIR
|
||||
export DESTDIR
|
||||
$WORKDIR/gcc/gcc/doc/install.texi2html
|
||||
|
||||
for file in `ls $DESTDIR`
|
||||
do
|
||||
$PREPROCESS install/$file
|
||||
done
|
||||
for file in `ls $DESTDIR`
|
||||
do
|
||||
$PREPROCESS install/$file
|
||||
done
|
||||
fi
|
||||
|
||||
# Clean up behind us.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user