Include docs build in CI code style check.

Tools/ci-run.sh

@@ -64,6 +64,7 @@ fi
 
 if [ "$TEST_CODE_STYLE" == "1" ]; then
   STYLE_ARGS="--no-unit --no-doctest --no-file --no-pyregr --no-examples";
+  python -m pip install -r doc-requirements.txt || exit 1
 else
   STYLE_ARGS="--no-code-style";
 
@@ -92,7 +93,9 @@ if [ "$NO_CYTHON_COMPILE" != "1" -a -n "${PYTHON_VERSION##pypy*}" ]; then
       || exit 1
 fi
 
-if [ "$TEST_CODE_STYLE" != "1" -a -n "${PYTHON_VERSION##pypy*}" ]; then
+if [ "$TEST_CODE_STYLE" == "1" ]; then
+    make -C docs html || exit 1
+elif [ -n "${PYTHON_VERSION##pypy*}" ]; then
   # Run the debugger tests in python-dbg if available (but don't fail, because they currently do fail)
   PYTHON_DBG="python$( python -c 'import sys; print("%d.%d" % sys.version_info[:2])' )-dbg"
   if $PYTHON_DBG -V >&2; then CFLAGS="-O0 -ggdb" $PYTHON_DBG runtests.py -vv --no-code-style Debugger --backends=$BACKEND; fi;