Merge pull request #1420 from glacambre/fix_make_tutorial

Fix make_tutorial
This commit is contained in:
Oliver Blanthorn 2019-03-28 11:22:51 +00:00 committed by GitHub
commit 87adde1604
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,7 +12,7 @@ dest="../../../generated/static/clippy/"
for page in $pages for page in $pages
do do
fileroot=$(echo "$page" | cut -d'.' -f-1) fileroot=$(echo "$page" | cut -d'.' -f-2)
sed "/REPLACETHIS/,$ d" tutor.template.html > "$dest$fileroot.html" sed "/REPLACETHIS/,$ d" tutor.template.html > "$dest$fileroot.html"
"$(npm bin)/marked" "$page" >> "$dest$fileroot.html" "$(npm bin)/marked" "$page" >> "$dest$fileroot.html"
sed "1,/REPLACETHIS/ d" tutor.template.html >> "$dest$fileroot.html" sed "1,/REPLACETHIS/ d" tutor.template.html >> "$dest$fileroot.html"