diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000..48072af --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,15 @@ +pages: + stage: deploy + script: + - echo "No public folder, we have to copy mkdocs site folder to a new 'public/' folder" + - cp -r mkdocs/site .public + - mv .public public + tags: + - shared + - gitlab-pages + - shell + artifacts: + paths: + - public + only: + - main \ No newline at end of file diff --git a/mkdocs/docs/_images/LogoPSI.pdf b/mkdocs/docs/_images/LogoPSI.pdf new file mode 100644 index 0000000..ea4e978 Binary files /dev/null and b/mkdocs/docs/_images/LogoPSI.pdf differ diff --git a/mkdocs/docs/_images/LogoPSI.png b/mkdocs/docs/_images/LogoPSI.png new file mode 100644 index 0000000..7d8214b Binary files /dev/null and b/mkdocs/docs/_images/LogoPSI.png differ diff --git a/mkdocs/docs/_images/LogoSLS.pdf b/mkdocs/docs/_images/LogoSLS.pdf new file mode 100644 index 0000000..cfeae19 Binary files /dev/null and b/mkdocs/docs/_images/LogoSLS.pdf differ diff --git a/mkdocs/docs/index.md b/mkdocs/docs/index.md new file mode 100644 index 0000000..2d48cf0 --- /dev/null +++ b/mkdocs/docs/index.md @@ -0,0 +1,24 @@ +
\n {translation(\"search.result.term.missing\")}: {...missing}\n
\n }\n