ci: fix github pages build

newAM · newAM · commit 7a9ca2433e1e · 2022-05-14T08:56:48.000-07:00
diff --git a/.github/workflows/gh-pages.yaml b/.github/workflows/gh-pages.yaml
@@ -21,7 +21,7 @@ jobs:
         run: echo "~/.local/bin" >> $GITHUB_PATH
       - name: Build HTML
         run: |
-          make -j2 html
+          SVDTOOLS=svd make -j2 html
       - name: Publish to GitHub Pages
         uses: peaceiris/actions-gh-pages@v3
         with:
