From 2a2a15f364e9f108d000ac54ac85b9ad2461e28c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zsolt=20Borb=C3=A9ly?= Date: Fri, 28 Jul 2017 17:48:43 +0200 Subject: [PATCH] Make the webpage-generator script able to transform relative links MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com --- tools/update-webpage.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/update-webpage.sh b/tools/update-webpage.sh index 6fef58e55..9e6d30d4b 100755 --- a/tools/update-webpage.sh +++ b/tools/update-webpage.sh @@ -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//<\/div>/g' $gh_pages_dir/$docfile_base