Compare commits

..

No commits in common. "19655c337d2781bfb75ae6fa35f2fc575291e622" and "c65c2c083497cf668865e840e31cfab5e5f46f20" have entirely different histories.

3 changed files with 8 additions and 4 deletions

View File

@ -2,8 +2,8 @@
set -e
git clone "${REPO:-https://git.tek.govt.hu/dowerx/www.git}" /src
git clone "${REPO:-'https://git.tek.govt.hu/dowerx/www.git'}" /src
cd /src
mkdocs build --site-dir "${SITE_DIR:-/site}"
mkdocs build --site-dir "${SITE_DIR:-'/site'}"

View File

@ -9,10 +9,12 @@ repos:
tags:
- amd64
- arm64
- armv7
- name: "${DATE}"
tags:
- "${DATE}-amd64"
- "${DATE}-arm64"
- "${DATE}-armv7"
builds:
- arch: amd64
tags:
@ -22,3 +24,7 @@ repos:
tags:
- arm64
- "${DATE}-arm64"
- arch: armv7
tags:
- armv7
- "${DATE}-armv7"

View File

@ -4,8 +4,6 @@ nav:
- Home: index.md
- Projects: /projects
- Blog: /blog
- Gallery: /gallery
- Files: /public
- Tags: tags.md
- Links: links.md
- About: /about