Publish website via GitLab pages

This commit is contained in:
Georges Dupéron 2019-03-08 23:56:23 +01:00
parent 8266105144
commit 2fbcec2eac

View File

@ -2,9 +2,10 @@ before_script:
- apt-get update -qq
- apt-get -y -qq install graphviz ghostscript
default-job:
pages:
script:
make
- make
- if test -e public; then mv public public.old; fi && mv artifacts public
artifacts:
paths:
- artifacts/
- public/