Minor fix in path

This commit is contained in:
Merve Noyan 2023-09-21 17:54:10 +02:00 committed by Nicolas Patry
parent 10a88586a6
commit 6572edc5ba

View File

@ -26,23 +26,23 @@ jobs:
- name: Update Docs - name: Update Docs
run: | run: |
output="${{ steps.run-launcher-help.outputs.output }}" output="${{ steps.run-launcher-help.outputs.output }}"
if [ ! -f "/docs/source/basic_tutorials/launcher.md" ]; then if [ ! -f "docs/source/basic_tutorials/launcher.md" ]; then
touch /docs/source/basic_tutorials/launcher.md touch docs/source/basic_tutorials/launcher.md
echo '```' >> /docs/source/basic_tutorials/launcher.md echo '```' >> docs/source/basic_tutorials/launcher.md
echo $output >> /docs/source/basic_tutorials/launcher.md echo $output >> docs/source/basic_tutorials/launcher.md
echo '```' >> /docs/source/basic_tutorials/launcher.md echo '```' >> docs/source/basic_tutorials/launcher.md
echo "Docs are updated!" echo "Docs are updated!"
git add launcher.md git add launcher.md
git commit -m "Update launcher.md" git commit -m "Update launcher.md"
git push git push
fi fi
launcher_content=$(/docs/source/basic_tutorials/launcher.md) launcher_content=$(docs/source/basic_tutorials/launcher.md)
if [ "$launcher_content" != "$output" ]; then if [ "$launcher_content" != "$output" ]; then
rm /docs/source/basic_tutorials/launcher.md rm docs/source/basic_tutorials/launcher.md
echo '```' >> /docs/source/basic_tutorials/launcher.md echo '```' >> docs/source/basic_tutorials/launcher.md
echo $output >> /docs/source/basic_tutorials/launcher.md echo $output >> docs/source/basic_tutorials/launcher.md
echo '```' >> /docs/source/basic_tutorials/launcher.md echo '```' >> docs/source/basic_tutorials/launcher.md
echo "Docs are updated!" echo "Docs are updated!"
git add launcher.md git add launcher.md
git commit -m "Update launcher.md" git commit -m "Update launcher.md"