chore: ajout de robots.txt dans la page publique

Author: eyssette

.gitlab-ci.yml

@@ -8,7 +8,7 @@ pages:
     - apk update && apk add gzip brotli
   script:
     - mkdir -p .public .public/widget/ .public/css/themes .public/js/plugins .public/_i18n/
-    - cp $APP_FOLDER/*.svg $APP_FOLDER/index.html $APP_FOLDER/script.min.js $APP_FOLDER/script.min.js.map widget/widget.min.js .public/
+    - cp $APP_FOLDER/*.svg $APP_FOLDER/index.html $APP_FOLDER/script.min.js $APP_FOLDER/script.min.js.map widget/widget.min.js robots.txt .public/
     - cp $APP_FOLDER/_i18n/*.md .public/_i18n/
     - cp $APP_FOLDER/css/styles.min.css .public/css/
     - cp $APP_FOLDER/css/themes/* .public/css/themes/

.gitlab/ci_templates/deploy.yml

@@ -43,7 +43,7 @@ pages:
     # L'application est construite dans le répertoire app : on déplace tous les fichiers nécessaires à la racine
     # On ne copie pas par défaut les fichiers du dossier i18n original : c'est à l'utilisateur de les créer s'il le souhaite
     - mkdir -p .build .build/widget/ .build/css/themes .build/js/plugins
-    - cp $APP_FOLDER/*.svg $APP_FOLDER/index.html $APP_FOLDER/script.min.js $APP_FOLDER/script.min.js.map widget/widget.min.js .build/
+    - cp $APP_FOLDER/*.svg $APP_FOLDER/index.html $APP_FOLDER/script.min.js $APP_FOLDER/script.min.js.map widget/widget.min.js robots.txt .build/
     - cp $APP_FOLDER/css/styles.min.css .build/css/
     - cp $APP_FOLDER/css/themes/* .build/css/themes/
     - cp widget/message.svg .build/widget/