diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 3ccd757b..7a158fb5 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -12,6 +12,14 @@ jobs: steps: - uses: actions/checkout@v4 - uses: cachix/install-nix-action@v30 + - name: Create production theme + run: | + echo >> doc/book.toml + echo "[output.html]" >> doc/book.toml + echo 'theme="theme"' >> doc/book.toml + mkdir doc/theme + echo '' > doc/theme/head.hbs + git add doc/theme - name: Build run: nix build .#doc - name: Deploy