]> Nishi Git Mirror - gwion.git/commitdiff
again
authorJérémie Astor <fennecdjay@gmail.com>
Wed, 23 Mar 2022 07:37:31 +0000 (08:37 +0100)
committerJérémie Astor <fennecdjay@gmail.com>
Wed, 23 Mar 2022 07:37:31 +0000 (08:37 +0100)
.github/workflows/build.yml
docs/Reference/list
scripts/mk_page.sh

index b7d6194c31a9c46921091976ebc8c63794c1d3d5..c469d6499760767f7f483ee71a9db9a45d16956a 100644 (file)
@@ -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
index 6eb1314a9c2916c9dab15d28ede396488e004683..8c912237fb8b26b70ed55e8c617dc351a68157ab 100644 (file)
@@ -4,3 +4,4 @@ Extending
 Functions
 Types
 Preprocessor.md
+Plugins
index f9b27f7bb3a94a56beedb6c466144e22c39aa9c0..e774ffcf6ccb631f4980967adf9becae93b10950 100644 (file)
@@ -16,3 +16,4 @@ echo '```'
 }
 
 mkpage > docs/Reference/Plugins/$NAME.mdr
+echo $NAME >> docs/Reference/Plugins/list