again

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cd83e5d6cf7c7cfe357fbcb194c7b7ebfd2c8cf1..357460f31af87d6a5f94a467ae15fef50f745c7b 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -44,6 +44,7 @@ jobs:
         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: Build book
       run: PATH=$PWD:$PATH make build