Update .gitlab-ci.yml

      fi

    - make -f .gitlab-ci.mk doc

    - >

      git add docs/*.md

      if [ -z "$(git status --untracked-files=no --porcelain)" ]; then

        echo "No changes found";

        echo "No changes found"

      else 

        git add docs/*.md &&

        git commit -m "Documentation update" &&

        git remote rm origin && git remote add origin https://oauth2:$CI_DOC_TOKEN@forge.etsi.org/rep/$CI_PROJECT_PATH.git &&

        git push origin HEAD:$CI_COMMIT_REF_NAME;

        git remote rm origin && git remote add origin "https://oauth2:$CI_DOC_TOKEN@forge.etsi.org/rep/$CI_PROJECT_PATH.git" &&

        git push origin "HEAD:$CI_COMMIT_REF_NAME";

      fi

  only:

    changes: