mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
Make the webpage-generator script able to transform relative links
JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com
This commit is contained in:
parent
5b22e5e0ff
commit
2a2a15f364
@ -94,6 +94,9 @@ for docfile in $docs_dir/*.md; do
|
||||
sed -i -r -e 's/^!\[.*\]\(/&{{ site.github.url }}\//' $gh_pages_dir/$docfile_base
|
||||
sed -i -r -e 's/^!\[.*\]\(\{\{ site\.github\.url \}\}\/img.*$/&{: class="thumbnail center-block img-responsive" }/' $gh_pages_dir/$docfile_base
|
||||
|
||||
# turn filenames into permalinks
|
||||
sed -i -r -e 's/docs\/[0-9]+\.(.*)\.md/\L\1/g' $gh_pages_dir/$docfile_base
|
||||
|
||||
# replace span tags to div
|
||||
sed -i 's/<span class=/<div class=/g' $gh_pages_dir/$docfile_base
|
||||
sed -i 's/<\/span>/<\/div>/g' $gh_pages_dir/$docfile_base
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user