Skip to content
Snippets Groups Projects
Select Git revision
  • 740de5601acf2ec55a0d10cc75e5c712ea771d6a
  • develop default
  • Blockage
  • GuidoBasten
  • Anticipation_Model
  • tgf19ts
  • 313-waiting-behaviour
  • tgf19mc
  • wa_testing
  • trajectories
  • 287-waitingarea
  • 320-one-sided-closed-doors
  • kapakrit-anna
  • 311-improve-ff
  • 306-schedule-for-was
  • 294-events
  • 307-temp-close
  • 302-external-files
  • split_files
  • 298-sources
  • 293-statistics-crossings
  • v0.8.4
  • v0.8.3
  • v0.8.2
  • v0.8.1
  • v0.8
  • v0.7
  • v0.6
  • v0.5-alpha
  • v0.5-alpha1
  • v0.4
31 results

PedDistributionParser.cpp

Blame
  • create_documentation.sh 966 B
    #!/bin/bash
    
    # reset status
    echo "failure" > status.txt
    
    # create webpage folder
    BRANCH_NAME=$( echo -e "${CI_COMMIT_REF_NAME////_}")
    mkdir -p webpage/
    mkdir -p webpage/recent
    #for w in master develop
    #do
    #    if [[ "${CI_COMMIT_REF_NAME}" == "$w" ]]; then
    #        mkdir -p "webpage/${BRANCH_NAME}"
    #    fi
    #done
    mkdir -p "webpage/${BRANCH_NAME}"
    
    cd docs  || {
        echo "no docs to build available";
        echo "incomplete" > status.txt;
        echo "no docs to build avail" > incomplete.txt;
        exit 0; }
    
    echo "${CI_COMMIT_TAG}"
    make clean
    make html
    IS_FAILED=$?
    
    # copy results
    cp -r ./_build/html/* "../webpage/${BRANCH_NAME}/."
    cp -r ./_build/html/* ../webpage/recent/.
    if [[ "${CI_COMMIT_REF_NAME}" = "master" ]]; then
        cp -r ./_build/html/* ../webpage/.
    fi
    cd ..
    
    # report if job was successful
    if [[ ${IS_FAILED} == 0 ]]; then
        echo "success"
        echo "success" > status.txt
        echo "build" > success.txt
        exit 0
    else
        echo "failed"
        exit 1
    fi