Ticket #10191: 10191_catch_sphinx_error.2.patch

File 10191_catch_sphinx_error.2.patch, 917 bytes (added by jdemeyer, 11 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