From: Jérémie Astor <fennecdjay@gmail.com>
Date: Wed, 23 Mar 2022 07:53:12 +0000 (+0100)
Subject: again
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=b7454fae656544dae1a11ea06e6b79a7e69e6367;p=gwion.git

again
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cd83e5d6..357460f3 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -44,6 +44,7 @@ jobs:
         ls *.so
         rm -rf docs/Reference/Plugins/list
         for plug in *.so; do bash scripts/mk_page.sh $plug; done
+        cat docs/Reference/Plugins/list
 
     - name: Build book
       run: PATH=$PWD:$PATH make build