gitlab-ci: add pages job !

This commit is contained in:
Thomas Bernard 2019-01-30 13:15:48 +01:00
parent cb3a316b4e
commit 06cfc802d4
No known key found for this signature in database
GPG Key ID: 0FF11B67A5C0863C

View File

@ -1,5 +1,6 @@
stages: stages:
- build - build
- pages
job_linux: job_linux:
stage: build stage: build
@ -16,6 +17,20 @@ job_linux:
- "*.zip" - "*.zip"
- "grafx2*.tgz" - "grafx2*.tgz"
pages:
stage: pages
script:
- "NOLUA=1 API=x11 make htmldoc"
- "mkdir -p public/htmldoc && cp doc/html/* public/htmldoc/"
- "echo -e '<DOCTYPE html>\n<html><head><title>GrafX2</title></head>\n<body>\n<ul>\n<li><a href=\"doxygen/html/\">doxygen</a></li>\n<li><a href=\"htmldoc/\">htmldoc</a></li>\n</ul>\n</body>\n</html>\n' > public/index.html"
- "cd public && tar xzf ../grafx2*doxygen.tgz"
artifacts:
paths:
- public
only:
- master
- gitlab-pages
job_win32: job_win32:
stage: build stage: build
before_script: before_script: