diff --git a/.github/workflows/doc.yaml b/.github/workflows/doc.yaml index e2211f74..2ca123f9 100644 --- a/.github/workflows/doc.yaml +++ b/.github/workflows/doc.yaml @@ -17,5 +17,7 @@ jobs: python-version: 3.12 - name: Install dependencies run: pip install --requirement=etc/requirements.txt + - name: Build documentation + run: npx gulp doc - name: Deploy documentation run: mkdocs gh-deploy --config-file=etc/mkdocs.yaml --force diff --git a/gulpfile.js b/gulpfile.js index fe8fdf9f..fa1f641c 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -36,6 +36,12 @@ export async function publish() { for (const action of [["tag"], ["push", "origin"]]) await $`git ${action} v${pkg.version}`; } +// Starts the development server. +export async function serve() { + await doc(); + return $({stdio: "inherit"})`mkdocs serve --config-file=etc/mkdocs.yaml`; +} + // Runs the test suite. export async function test() { await build();