diff --git a/spec_on_pages.sh b/spec_on_pages.sh index 1f832e7541c16b7c460d99f5def4a63e78a7e0bb..4f1621a0407cfe954e4243aa459b81f52c7bdc0d 100644 --- a/spec_on_pages.sh +++ b/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 diff --git a/toMkdocs/mkdocs.yml b/toMkdocs/mkdocs.yml index 8f278c0d22d2bff5ae84a790de8e925b1601348e..90776dbf21fd8230450e1e65a9c1358fb1dc1ad6 100644 --- a/toMkdocs/mkdocs.yml +++ b/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: