Update .gitlab-ci.yml file

    - 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@forge.etsi.org/rep/cim/NGSI-LD.git

    - git config --local -e

    - 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

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

pages:

  stage: deploy