Loading bin/build_documentation_gitlab_pages.sh +8 −1 Original line number Diff line number Diff line #! /usr/bin/env bash # ---------------------------------------------------- # This script builds documentation for gitlab-pages. # # ---------------------------------------------------- cd ${NCP_TOP_LEVEL}/documentation make clean && make html make -f Makefile-gitlab-pages clean && make html if [[ $? != 0 ]]; then echo "Failed to create documentation." exit 1 Loading Loading
bin/build_documentation_gitlab_pages.sh +8 −1 Original line number Diff line number Diff line #! /usr/bin/env bash # ---------------------------------------------------- # This script builds documentation for gitlab-pages. # # ---------------------------------------------------- cd ${NCP_TOP_LEVEL}/documentation make clean && make html make -f Makefile-gitlab-pages clean && make html if [[ $? != 0 ]]; then echo "Failed to create documentation." exit 1 Loading
