Loading .gitlab-ci.yml +0 −2 Original line number Diff line number Diff line Loading @@ -17,8 +17,6 @@ variables: # only cache local items. PIP_CACHE_DIR: "$CI_PROJECT_DIR/.cache/pip" # ---------------------------------------------------- # This section defines reusable configurations. # Loading bin/build_documentation_gitlab_pages.sh 0 → 100755 +11 −0 Original line number Diff line number Diff line #! /usr/bin/env bash cd ${NCP_TOP_LEVEL}/documentation make clean && make html if [[ $? != 0 ]]; then echo "Failed to create documentation." exit 1 else echo "Created documentation." fi documentation/Makefile-gitlab-pages +1 −1 Original line number Diff line number Diff line Loading @@ -6,7 +6,7 @@ SPHINXOPTS ?= SPHINXBUILD ?= sphinx-build SOURCEDIR = source BUILDDIR = build BUILDDIR = $(NCP_TOP_LEVEL)/public # Put it first so that "make" without argument is like "make help". help: Loading Loading
.gitlab-ci.yml +0 −2 Original line number Diff line number Diff line Loading @@ -17,8 +17,6 @@ variables: # only cache local items. PIP_CACHE_DIR: "$CI_PROJECT_DIR/.cache/pip" # ---------------------------------------------------- # This section defines reusable configurations. # Loading
bin/build_documentation_gitlab_pages.sh 0 → 100755 +11 −0 Original line number Diff line number Diff line #! /usr/bin/env bash cd ${NCP_TOP_LEVEL}/documentation make clean && make html if [[ $? != 0 ]]; then echo "Failed to create documentation." exit 1 else echo "Created documentation." fi
documentation/Makefile-gitlab-pages +1 −1 Original line number Diff line number Diff line Loading @@ -6,7 +6,7 @@ SPHINXOPTS ?= SPHINXBUILD ?= sphinx-build SOURCEDIR = source BUILDDIR = build BUILDDIR = $(NCP_TOP_LEVEL)/public # Put it first so that "make" without argument is like "make help". help: Loading