diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a608f13973e6148b782a71c33dfc356f8e3188ed..f7afbdc7e8531fc5ee6ad267081e77004dae31d6 100755 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -19,6 +19,7 @@ pages-master: - cp -r help .public - cp -r js .public - cp *.html .public + - cp favicon.ico .public - mv .public public - cp -r public/* "$EXPORT_PAGES_DIR" artifacts: @@ -41,6 +42,7 @@ pages-devel: - cp -r downloads .public - cp -r help .public - cp -r fonts .public + - cp favicon.ico .public - cp *.html .public - mv .public public - cp -r public/* "$EXPORT_PAGES_DIR_TEST" diff --git a/favicon.ico b/favicon.ico new file mode 100644 index 0000000000000000000000000000000000000000..0d22a361be3c0ded20d52e1773e8c5dc6b7698cb Binary files /dev/null and b/favicon.ico differ