docs: add index page

docs: add mkdocs config and CI for building infra-docs website
Heavily inspired by: https://forgejo.c3voc.de/voc/av-docs
2026-05-18 22:03:17 +02:00 · 2026-05-18 22:03:14 +02:00
1 changed files with 1 additions and 1 deletions
--- a/.forgejo/workflows/deploy-docs.yaml
+++ b/.forgejo/workflows/deploy-docs.yaml
@ -37,7 +37,7 @@ jobs:
      - name: Build website - staging
        if: github.event_name == 'pull_request'
        run: |
-          sed -i "s#site_url: https://infra-docs.hamburg.ccc.de#site_url: https://staging.infra-docs.hamburg.ccc.de/pr${{ github.event.pull_request.number }}/#" mkdocs.yml
+          sed -i "s#site_url: 'https://infra-docs.hamburg.ccc.de'#site_url: 'https://staging.infra-docs.hamburg.ccc.de/pr${{ github.event.pull_request.number }}/'#" mkdocs.yml
          mkdocs build

      - name: Deploy - Prepare keys
Author	SHA1	Message	Date
June	ecd61d7532	docs: add index page All checks were successful / build (pull_request) Successful in 25s Details / Ansible Lint (pull_request) Successful in 4m55s Details / Ansible Lint (push) Successful in 23m21s Details	2026-05-18 22:03:17 +02:00
June	0f6dc7b45e	docs: add mkdocs config and CI for building infra-docs website Heavily inspired by: https://forgejo.c3voc.de/voc/av-docs	2026-05-18 22:03:14 +02:00