1 files changed, 2 insertions, 6 deletions
diff --git a/src/html b/src/html
index e208af9..e00a2b7 100755
--- a/src/html
+++ b/src/html
@@ -113,13 +113,9 @@ fi
 
 
 headlinks() {
-	if [ -z "${header_links:-}" ]; then
-		return
-	fi
-
 	echo '        <ol>'
 
-	while read -r line; do
+	cat "$header_links" | grep -v '^#' | grep . | while read -r line; do
 		link="$(printf '%s\n' "$line" | cut -d'	' -f1)"
 		name="$(printf '%s\n' "$line" | cut -d'	' -f2)"
 		cat <<EOF
@@ -127,7 +123,7 @@ headlinks() {
             <a href="$base_url_prefix/$link">$name</a>
           </li>
 EOF
-	done < "$header_links"
+	done
 
 	echo '        </ol>'
 }