diff options
| -rwxr-xr-x | update-html.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/update-html.sh b/update-html.sh index ad27933..79745e4 100755 --- a/update-html.sh +++ b/update-html.sh @@ -8,6 +8,8 @@ then exit 1 fi +md2ext=fenced-code-blocks,highlightjs-lang,tables + md2ht() { src=$1 dst=$2 @@ -17,11 +19,17 @@ md2ht() { continue fi echo "$src -> $dst" + title=$(sed 's/# //; s/&/\\&/; s_/_\\/_; q' "$src") + if [ "${src##*/}" = index.md ] + then + nav='<a href="..">^ Up</a>' + else + nav='<a href=".">^ Up</a>' + fi { - title=$(sed 's/# //; s/&/\\&/; q' "$src") sed "s/__TITLE__/$title/" html/prelude.html echo "<body>" - markdown2 "$src" -x fenced-code-blocks,highlightjs-lang,tables + sed "1 a $nav" < "$src" | markdown2 -x "$md2ext" echo "</body>" } > "$dst" } |
