Ticket #10191: 10191_catch_sphinx_error.2.patch

File 10191_catch_sphinx_error.2.patch, 917 bytes (added by jdemeyer, 12 years ago)

SAGELIB patch

  • doc/common/builder.py 

    # HG changeset patch
# User Jeroen Demeyer <jdemeyer@cage.ugent.be>
# Date 1288450659 -7200
# Node ID cd8c8582e12dbb8a52a109737afd5953bf028d27
# Parent  f667e86a25fbe7138d4933ecf9b972ba8f40087d
[mq]: catch_sphinx_error

diff -r f667e86a25fb -r cd8c8582e12d doc/common/builder.py
    a b  
    117117                                                  ALLSPHINXOPTS, self.dir,
    118118                                                  output_dir)
    119119        logger.warning(build_command)
    120         subprocess.call(build_command, shell=True)
     120        ret = subprocess.call(build_command, shell=True)
     121        if ret != 0:
     122            raise RuntimeError, "Sphinx error for output directory %s"%output_dir
    121123
    122124        logger.warning("Build finished.  The built documents can be found in %s", output_dir)
    123125