update html dir
This commit is contained in:
committed by
FilippoOlivo
parent
115c4a4e9f
commit
5a6fe31b10
2
.github/workflows/export_tutorials.yml
vendored
2
.github/workflows/export_tutorials.yml
vendored
@@ -46,7 +46,7 @@ jobs:
|
||||
pyfilename=$(echo ${filename%?????})py
|
||||
timeout --signal=SIGKILL $TUTORIAL_TIMEOUT python -Xfrozen_modules=off -m jupyter nbconvert $file --to python --output $pyfilename --output-dir=$(dirname $file)
|
||||
htmlfilename=$(echo ${filename%?????} | sed -e 's/-//g')html
|
||||
htmldir="docs/source"/$(echo ${file%?????} | sed -e 's/-//g')html
|
||||
htmldir="docs/source"/$(echo ${file%??????????????} | sed -e 's/-//g')
|
||||
timeout --signal=SIGKILL $TUTORIAL_TIMEOUT python -Xfrozen_modules=off -m jupyter nbconvert --execute $file --to html --output $htmlfilename --output-dir=$htmldir
|
||||
fi
|
||||
done
|
||||
|
||||
Reference in New Issue
Block a user