- //FIXME: BIBTEX_ERROR has been removed from ERRORS for now, since users were irritated
- // about those errors which prevented compilation of previously compiling documents.
- // Think about a "gentle" transfer to BibTeX error reporting.
- ERRORS = TEX_ERROR + LATEX_ERROR,
+ NONZERO_ERROR = 32768, // the command exited with nonzero status
+ ///
+ ERRORS = TEX_ERROR + LATEX_ERROR + NONZERO_ERROR + BIBTEX_ERROR,