Modify graphiz to output diagrams as PNGs to emulate previous default (…

…#293)
spack · Nov 10, 2023 · 143768c · 143768c
1 parent 724397b
commit 143768c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -26,4 +26,4 @@ jobs:
     - name: Build docs
       run: |
         make clean --silent
-        make SPHINXOPTS=-W
+        make SPHINXOPTS="-W -D graphviz_output_format=png"