Adding repo gitlab icon to the spec page

spec_on_pages.sh

@@ -48,7 +48,14 @@ cat _nav.yml
 echo "  - '': 'index.md'" >> mkdocs.yml
 cat _nav.yml >> mkdocs.yml
 cp docs/0.md docs/index.md
+repo_url="https://${3}/${4}.git"
+echo ${repo_url}
 sed -i 's/##PROJECT/'${9^^}'/g' mkdocs.yml
+repo_url=$(echo ${repo_url} | sed 's/\//\\\//g')
+sed -i 's/##REPO_URL/'"${repo_url}"'/g' mkdocs.yml
+sed -i 's/##REPO_NAME/'${9^^}'/g' mkdocs.yml
+
+sed --version
 
 cat mkdocs.yml
 

toMkdocs/mkdocs.yml

@@ -11,10 +11,15 @@ docs_dir: docs
 extra_css:
   - stylesheets/extra.css
 
+repo_url: ##REPO_URL
+repo_name: ##REPO_NAME Git Repository
+
 theme:
   name: material
   logo: 'images/onem2m.png'
   favicon: 'images/favicon.ico'
+  icon:
+    repo: fontawesome/brands/gitlab
   palette:
     scheme: oneM2M
   features: