Commit e2ebefc7 authored by Tharrington, Arnold's avatar Tharrington, Arnold
Browse files

This file will be removed in the next commit.

parent b73cec61

bin/build_documentation_gitlab_pages.sh

+1 −1
Original line number Diff line number Diff line
@@ -7,7 +7,7 @@ 


cd ${NCP_TOP_LEVEL}/documentation



make -f Makefile-gitlab-pages clean && make html

make -f Makefile-gitlab-pages clean && make -f Makefile-gitlab-pages html



if [[ $? != 0 ]]; then

    echo "Failed to create documentation."