mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-04 14:56:12 +08:00
update_web_docs_svn: Proceed even if the invocation of sphinx fails.
* update_web_docs_svn: Proceed even if the invocation of sphinx fails. From-SVN: r274099
This commit is contained in:
parent
efaa05d8fd
commit
e6a7284cf9
@ -1,3 +1,8 @@
|
||||
2019-08-05 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
* update_web_docs_svn: Proceed even if the invocation of
|
||||
sphinx fails.
|
||||
|
||||
2019-05-04 Gerald Pfeifer <gerald@pfeifer.com>
|
||||
|
||||
* crontab: Snapshots from trunk are now GCC 10 related.
|
||||
|
@ -190,7 +190,7 @@ done
|
||||
# /usr/bin/sphinx-1.0-build
|
||||
# so we need to override SPHINXBUILD with this when invoking "make".
|
||||
pushd gcc/gcc/jit/docs
|
||||
make SPHINXBUILD=/usr/bin/sphinx-1.0-build html
|
||||
make SPHINXBUILD=/usr/bin/sphinx-1.0-build html || true
|
||||
popd
|
||||
cp -a gcc/gcc/jit/docs/_build/html jit
|
||||
mkdir -p $DOCSDIR/jit
|
||||
|
Loading…
Reference in New Issue
Block a user