Check whether there are any URLs before iterating over them.

[mkws-moved-to-github.git] / doc / tweak-html
diff --git a/doc/tweak-html b/doc/tweak-html

index c0d75ba..b12cdec 100755 (executable)
--- a/doc/tweak-html
+++ b/doc/tweak-html
@@ -6,7 +6,7 @@ cat ${@+"$@"} |
      sed '/^<col width="[0-9]*%" \/>$/d' |
      sed 's/<body>/&\
  <img src="images\/mkws-logo-300px.png" alt="MKWS logo"\/>/' | awk '
-/^<h[12] id/ {
+/^<(h[12]|div) id/ {
    if (seen) {
      print "</div>";
    }