Fix up build in workflow

reivilibre · reivilibre · commit f28343d9fe54 · 2023-03-14T17:30:09.000Z
diff --git a/.github/workflows/docs-dev.yaml b/.github/workflows/docs-dev.yaml
@@ -30,7 +30,7 @@ jobs:
       - name: Build the documentation
         run: |
           cd dev-docs
-          make html
+          poetry run make html
 
       # Figure out the target directory.
       #

Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,7 @@ jobs:`
`30`	`30`	`- name: Build the documentation`
`31`	`31`	`run: \|`
`32`	`32`	`cd dev-docs`
`33`		`- make html`
	`33`	`+ poetry run make html`
`34`	`34`
`35`	`35`	`# Figure out the target directory.`
`36`	`36`	`#`