diff options
| author | Taylan Kammer <taylan.kammer@gmail.com> | 2026-06-20 22:53:50 +0200 |
|---|---|---|
| committer | Taylan Kammer <taylan.kammer@gmail.com> | 2026-06-20 22:53:50 +0200 |
| commit | b84ed4f563b3536365f7d3cc4d068407e98685b3 (patch) | |
| tree | 9ab7b18d712db1329b6230cb45520e7c85dc46fd /update-html.sh | |
| parent | bfaa74b19fc81dbe071d55566a78a8e329237eff (diff) | |
Diffstat (limited to 'update-html.sh')
| -rwxr-xr-x | update-html.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/update-html.sh b/update-html.sh index 0c37ffd..e611006 100755 --- a/update-html.sh +++ b/update-html.sh @@ -20,7 +20,10 @@ md2ht() { fi echo "$src -> $dst" title=$(sed 's/# //; s/&/\\&/; s_/_\\/_; q' "$src") - if [ "${src##*/}" = index.md ] + if [ "$src" = html/index.md ] # It's the root + then + nav='' + elif [ "${src##*/}" = index.md ] then nav='<a href="..">^ Up</a>' else @@ -34,7 +37,10 @@ md2ht() { { sed "s/__TITLE__/$title/" html/prelude.html echo "<body>" - sed "1 a $nav" < "$src" | markdown2 -x "$ext" + if [ "$nav" ] + then + sed "1 a $nav" < "$src" | markdown2 -x "$ext" + fi echo "</body>" echo "</html>" } > "$dst" |
