From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Wed, 1 Apr 2020 21:25:36 +0000 (+0200)
Subject: :wrench: Put gwion in PATH
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=2684f1a6de3df0646f2869685d2098ba33d5feab;p=gwion.git

:wrench: Put gwion in PATH
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0c0cf9b1..b66c7485 100644
--- 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