From: Jérémie Astor Date: Wed, 23 Mar 2022 08:11:34 +0000 (+0100) Subject: again X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=ae58c83c2a124d9036801ffe76d59a4366b07f06;p=gwion.git again --- diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 357460f3..c6621e86 100644 --- 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