:wrench: Put gwion in PATH

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0c0cf9b1b570912710526fa818a2879de6e6de30..b66c7485698a1acf02c14736eb41219aff1eb06a 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -145,6 +145,7 @@ jobs:
     - name: Build book
       run: |
         export PATH=mdr:$PATH
+        export PATH=gwion:$PATH
         make build
 
     - name: GIT things