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