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"