Fix directory for wiki

pull/126/head
James Ball 2022-09-03 19:26:48 +01:00 zatwierdzone przez James H Ball
rodzic df1231f287
commit 7efd810d78
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -125,7 +125,7 @@ jobs:
sudo npm install -g github-wikito-converter
cd wiki
ls | grep -xv "User-Documentation.md" | parallel rm
gwtc -v -f pdf -t "osci-render documentation" --logo-img "osci-render/osci.png" wiki
gwtc -v -f pdf -t "osci-render documentation" --logo-img "osci-render/osci.png" .
cd ../osci-render
version=$(mvn help:evaluate -Dexpression="project.version" -q -DforceStdout)
echo "VERSION=$version" >> $GITHUB_ENV