again

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index c469d6499760767f7f483ee71a9db9a45d16956a..cd83e5d6cf7c7cfe357fbcb194c7b7ebfd2c8cf1 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -41,6 +41,7 @@ jobs:
         
     - name: Plugin Reference
       run: |
+        ls *.so
         rm -rf docs/Reference/Plugins/list
         for plug in *.so; do bash scripts/mk_page.sh $plug; done