update html dir

Author: dario-coscia

.github/workflows/export_tutorials.yml

@@ -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