add gitnet.page domain
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful

This commit is contained in:
Simon Vieille 2024-01-23 13:53:16 +01:00
parent 2c9b1aef6b
commit 0320aef511
Signed by: deblan
GPG key ID: 579388D585F70417

View file

@ -8,7 +8,6 @@ steps:
sed -i "s,# site_url: \"{site_url}\",site_url: \"$SITE_URL\"," mkdocs.yml
fi
mkdocs build
echo doc.murph-project.org > site/.domains
commit:
image: alpine/git
@ -23,6 +22,7 @@ steps:
- git fetch --no-tags origin +refs/heads/pages
- git remote add upstream git@gitnet.fr:murph/murph-doc.git
- git switch pages
- echo doc.murph-project.org > site/.domains
- mv site /tmp/
- rm * -fr
- mv /tmp/site/* .