#!/usr/bin/gawk -f
# Last edited on 2021-03-04 02:57:03 by jstolfi

# Reads a page of URLs and section headers. Convert the URLs
# to HTML links.

BEGIN { 
  nsec  = 0  # Number of secttions started
  unproc = 1 # Curent section had an unprocessed header.
}

/^ *$/{ next }

/[<]h3[>]/ { 
  # Prevously processed section, increment the count:
  nsec++
  unproc = 0
  print
  next
}

/^[<]/ { 
  # Prevously processed, just keep it:
  print 
  next
}

/https?:|file:/ {
  # Unprocessed URL:
  printf "<!--%03d.50-->  <li><p><a href=\"%s\">%s</a></p></li>\n", nsec, $0, $0
  next
}

// {
  # Unprocessed section header:
  if ((nsec > 0) && (unproc != 0)) {
    printf "<!--%03d.95--></ul>\n" , nsec
  }    
  nsec++
  printf "<!--%03d.00-->\n", nsec
  printf "<!--%03d.01--><h3>%s</h3>\n", nsec, $0
  printf "<!--%03d.02-->\n" , nsec
  printf "<!--%03d.03--><ul>\n" , nsec
  unproc = 1
  next
}