try to get plugins doc

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ca2fb02b057fef0b6fe807d4642d4bae8dd196a5..b7d6194c31a9c46921091976ebc8c63794c1d3d5 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -39,6 +39,10 @@ jobs:
         ./gwion --cdoc >> docs/Reference/README.mdr
         echo '```' >> docs/Reference/README.mdr
         
+    - name: Plugin Reference
+      run: |
+        for plug in *.so; do bash scripts/mk_page.sh $plug; done
+
     - name: Build book
       run: PATH=$PWD:$PATH make build
 

diff --git a/docs/Reference/Plugins/README.mdr b/docs/Reference/Plugins/README.mdr
new file mode 100644 (file)
index 0000000..d700cba
--- /dev/null
+++ b/docs/Reference/Plugins/README.mdr
@@ -0,0 +1,3 @@
+# Plugin Reference
+
+compiler generated docs for gwion plugins

diff --git a/scripts/mk_page.sh b/scripts/mk_page.sh
new file mode 100644 (file)
index 0000000..f9b27f7
--- /dev/null
+++ b/scripts/mk_page.sh
@@ -0,0 +1,18 @@
+NAME=$(echo $1 | sed 's/\.so//')
+DATA="./gwion -p. -P $NAME"
+
+mkpage() {
+cat << EOF
+# $NAME
+
+compiler generated documentation
+
+\`\`\`gwion
+EOF
+
+./gwion -p. -P $NAME
+
+echo '```'
+}
+
+mkpage > docs/Reference/Plugins/$NAME.mdr

diff --git a/scripts/update.sh b/scripts/update.sh
index 8cf9e86becc9ce0361df6ad057580a481f62e8fe..ebbba59aff99654ed33b30d91337cb69df8a8e20 100644 (file)
--- a/scripts/update.sh
+++ b/scripts/update.sh
@@ -15,5 +15,6 @@ update() {
 }
 
 update Gwion      gwion
+update Gwion      gwion-plug
 update fennecdjay mdr
 update fennecdjay cmojify