Change-Id: I7d951e75ad2d472fa096647dfb55670b11105e23
# Publish the REST API.
#
-${OUTPUTDIR}/publish-rest-api.py --username="${CONFLUENCE_USER}" \
+python2 ${OUTPUTDIR}/publish-rest-api.py --username="${CONFLUENCE_USER}" \
--verbose \
--ast-version="${AST_VER}" \
${CONFLUENCE_URL} \
# Script assumes that it's running from TOPDIR
pushd ${OUTPUTDIR}
-./astxml2wiki.py --username="${CONFLUENCE_USER}" \
+python2 ./astxml2wiki.py --username="${CONFLUENCE_USER}" \
--server=${CONFLUENCE_URL} \
--prefix="${PREFIX}" \
--space="${CONFLUENCE_SPACE}" \