[www-scripts] Sphinx Doc Update: SUCCESS

[www-data via www-scripts]

4224: can't have the lock
/opt/tools/sphinx_update.sh: 4224: unable to acquire Sphinx update lock for polly, waiting 10s.
UPDATING polly SOURCES
Updating '.':
U    docs/images/GEMM_double.png
Updated to revision 314423.
Generating html Sphinx documentation for polly into "/opt/sphinx-docs/build/llvm/tools/polly/docs/html"
Built target docs-polly-html
sending incremental file list
./
.buildinfo
Architecture.html
HowToManuallyUseTheIndividualPiecesOfPolly.html
Performance.html
ReleaseNotes.html
TipsAndTricks.html
UsingPollyWithClang.html
genindex.html
index.html
objects.inv
search.html
searchindex.js
_images/
_images/GEMM_double.png
_sources/
_static/
_static/basic.css
_static/doctools.js
_static/haiku.css
_static/pygments.css
_static/searchtools.js

sent 233,426 bytes  received 481 bytes  467,814.00 bytes/sec
total size is 1,050,922  speedup is 4.49