fi
echo "@set srcdir $WORKDIR/gcc/gcc"
echo "@set VERSION_PACKAGE (GCC)"
- echo "@set BUGURL @uref{http://gcc.gnu.org/bugs.html}"
+ echo "@set BUGURL @uref{http://gcc.gnu.org/bugs/}"
) > $includedir/gcc-vers.texi
# Now convert the relevant files from texi to HTML, PDF and PostScript.
if [ "${filename}" ]; then
makeinfo --html -I ${includedir} -I `dirname ${filename}` -o ${file} ${filename}
tar cf ${file}-html.tar ${file}/*.html
- texi2dvi -I ${includedir} -o ${file}.dvi ${filename} </dev/null && dvips -o ${file}.ps ${file}.dvi
+ texi2dvi -I ${includedir} -o ${file}.dvi ${filename} </dev/null >/dev/null && dvips -o ${file}.ps ${file}.dvi
texi2pdf -I ${includedir} -o ${file}.pdf ${filename} </dev/null
mkdir -p $DOCSDIR/$file
fi