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 23:09:46 +02:00 · 2026-05-18 23:09:43 +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	62a1fba9bc	docs: add index page Some checks are pending / Ansible Lint (push) Waiting to run Details / build (pull_request) Waiting to run Details / Ansible Lint (pull_request) Waiting to run Details	2026-05-18 23:09:46 +02:00
June	05a84bb374	docs: add mkdocs config and CI for building infra-docs website Heavily inspired by: https://forgejo.c3voc.de/voc/av-docs	2026-05-18 23:09:43 +02:00