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

again
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b7d6194c..c469d649 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -41,6 +41,7 @@ jobs:
         
     - name: Plugin Reference
       run: |
+        rm -rf docs/Reference/Plugins/list
         for plug in *.so; do bash scripts/mk_page.sh $plug; done
 
     - name: Build book
diff --git a/docs/Reference/list b/docs/Reference/list
index 6eb1314a..8c912237 100644
--- a/docs/Reference/list
+++ b/docs/Reference/list
@@ -4,3 +4,4 @@ Extending
 Functions
 Types
 Preprocessor.md
+Plugins
diff --git a/scripts/mk_page.sh b/scripts/mk_page.sh
index f9b27f7b..e774ffcf 100644
--- a/scripts/mk_page.sh
+++ b/scripts/mk_page.sh
@@ -16,3 +16,4 @@ echo '```'
 }
 
 mkpage > docs/Reference/Plugins/$NAME.mdr
+echo $NAME >> docs/Reference/Plugins/list