CI blocked due to doc generation

[marcoabreu]

It seems like our CI pipeline is blocked during the Deploy stage:

http://jenkins.mxnet-ci.amazon-ml.com/blue/organizations/jenkins/incubator-mxnet/detail/PR-12189/2/pipeline

+ make docs

make -C docs html

make[1]: Entering directory '/work/mxnet/docs'

export BUILD_VER=

Env var set for BUILD_VER: 

sphinx-build -b html -d _build/doctrees   . _build/html

Running Sphinx v1.5.6

making output directory...



Exception occurred:

  File "/usr/local/lib/python3.5/dist-packages/sphinx/application.py", line 512, in setup_extension

    mod = __import__(extension, None, None, ['setup'])

  File "/work/mxnet/docs/mxdoc.py", line 44

    print '%-12s  : %s' % (candidate, parser.get(section, candidate))

                      ^

SyntaxError: invalid syntax

The full traceback has been saved in /tmp/sphinx-err-397tk_yl.log, if you want to report the issue to the developers.

Please also report this if it was a user error, so that a better error message can be provided next time.

A bug report can be filed in the tracker at <https://github.com/sphinx-doc/sphinx/issues>. Thanks!

Makefile:75: recipe for target 'html' failed

make[1]: *** [html] Error 1

make[1]: Leaving directory '/work/mxnet/docs'

Makefile:542: recipe for target 'docs' failed

make: *** [docs] Error 2

[lebeg]

Taking a look

[aaronmarkham]

Fixed with #12195 (merged)
#12199 (open)