Update .gitlab-ci.yml file

    - changes: 

      - public/official/*.html

pages:

git:

  stage: deploy

  variables:

    GIT_USER: "HTML_SPEC_TOKEN"

    GIT_EMAIL: "project_47_bot_07ebaee9ab01682982f3e84d2c5d59d7@gitlab.example.com"

  needs:

    - "saving_script"

    - "images_extraction"

    - "generate_temp_docx"

    - "official_html"

  script: #copy into public everything it needs to make the page work

  before_script: #copy into public everything it needs to make the page work

    - cp ./API/*.html public/editing/ #editing_html files

    - cp -r ./API/dist/ public/editing/ #javascript files

    - cp -r ./API/media/ public/editing/ #images

    - cp API.css background_highlight.css public/ #css files

    - unzip official.zip -d public/official/

  script:

    - git config --local user.name "$GIT_USER"

    - git config --local user.email "$GIT_USER_EMAIL"

    - git remote add gitlab_origin https://oauth2:$HTML_SPEC_TOKEN@gitlab.com/sferainnovazione/ngsi-ld-ttf-parser.git

    - git add public/official/

    - git add public/index.html

    - git add public/*.css

    - git commit -m "output from pipeline"

    - git push gitlab_origin HEAD:html_specification -o ci.skip

pages:

  stage: deploy

  needs:

    - "git"

  script:

    - echo "The site will be deployed to $CI_PAGES_URL"

  artifacts:

    paths: