Fix directory for wiki + documentation

pull/126/head
James Ball 2022-09-03 19:32:21 +01:00 zatwierdzone przez James H Ball
rodzic cf334182fb
commit 62a21fade2
1 zmienionych plików z 3 dodań i 2 usunięć

Wyświetl plik

@ -125,7 +125,8 @@ jobs:
sudo npm install -g github-wikito-converter sudo npm install -g github-wikito-converter
cd wiki cd wiki
ls | grep -xv "User-Documentation.md" | parallel rm ls | grep -xv "User-Documentation.md" | parallel rm
gwtc -v -f pdf -t "osci-render documentation" --logo-img "osci-render/osci.png" . cd ..
gwtc -v -f pdf -t "osci-render documentation" --logo-img "osci-render/osci.png" wiki
cd ../osci-render cd ../osci-render
version=$(mvn help:evaluate -Dexpression="project.version" -q -DforceStdout) version=$(mvn help:evaluate -Dexpression="project.version" -q -DforceStdout)
echo "VERSION=$version" >> $GITHUB_ENV echo "VERSION=$version" >> $GITHUB_ENV
@ -133,7 +134,7 @@ jobs:
uses: softprops/action-gh-release@v1 uses: softprops/action-gh-release@v1
with: with:
tag_name: v${{ env.VERSION }} tag_name: v${{ env.VERSION }}
files: wiki/documentation.pdf files: documentation.pdf
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_REPOSITORY: jameshball/osci-render GITHUB_REPOSITORY: jameshball/osci-render