cleanexit() {
rm -f $module.fo
exit 1
exit $1
}
# parse options, ignore unknown options for future extensions
fi;
@DBLATEX@ 2>&1 >/dev/null $dblatex_options | grep -v 'programlisting or screen'
else
{ @DBLATEX@ 2>&1 >&3 $dblatex_options | grep -v 'programlisting or screen' >&2; } 3>&1
{ @DBLATEX@ 2>&1 >&3 --verbose $dblatex_options | grep -v 'programlisting or screen' >&2; } 3>&1
fi
if test -n "@FOP@"; then