gitlab-pages: add favicon

2020-01-04 13:47:31 +01:00
parent 0caa162b50
commit 4874603ce7
2 changed files with 2 additions and 0 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -40,6 +40,7 @@ pages:
    script:
        - "NOLUA=1 API=x11 make htmldoc"
        - "mkdir -p public/htmldoc && cp doc/html/* public/htmldoc/"
+        - "cp share/grafx2/gfx2.png public/"
        - "./.gitlab-page.sh"
        - "cd public && tar xzf ../grafx2*doxygen.tgz"
    artifacts: