TNO Intern

Commit 5cdec35d authored by Arjo Segers's avatar Arjo Segers
Browse files

Merge branch 'dev' into 'master' 

Restricted generation of documenation to master branch.

See merge request !3
parents bc703e45 d7a386a9

.gitlab-ci.yml

+3 −0
Original line number Diff line number Diff line
@@ -11,6 +11,9 @@ stages: 


pages:

  stage: deploy-pages

  rules:

    - if: '$CI_COMMIT_BRANCH == "master"'

      when: always

  script:

    - cd doc

    - make html