again

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 357460f31af87d6a5f94a467ae15fef50f745c7b..c6621e86fe3d91f2770ef2611da03f37d66968ca 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -39,12 +39,10 @@ jobs:
         ./gwion --cdoc >> docs/Reference/README.mdr
         echo '```' >> docs/Reference/README.mdr
         
-    - name: Plugin Reference
-      run: |
-        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: Plugin Reference
+#      run: |
+#        rm -rf docs/Reference/Plugins/list
+#        for plug in *.so; do bash scripts/mk_page.sh $plug; done
 
     - name: Build book
       run: PATH=$PWD:$PATH make build