# makeht.awk
# Make HTML web pages that contain random GIF images from FaceSaver
#   gnu@toad.com, 9Aug2002
# LK 29 Jun 93
#

BEGIN {
    page = "xx"
    ht = "html/index-xx.html"
}

$1 != page {
#00 00004e758ef72ccee891d5ff5e620175  deant@unix386.uucp.gif
# We use the first byte to separate the images into separate groups,
# and give each group its own web page.
    
# Close out old page.
    print "</body></html>" >>ht
    close(ht)

# Open new web page.
    page = $1
    ht = "html/index-"$1".html"
    
    system ("sed 's/NXXT/'`echo 'printf \"%02x\\n\", 1+0x'"$1" | gdb -n -batch -x /dev/stdin | sed 's/^0x//'`/ <index-template.html >" ht)
}

$1 == page {
    print "<img src=\"../gif/" $3 "\">" gensub(".gif$","",1,$3) "<br>\n" >> ht
}

END {
    print "</body></html>" >>ht
    close(ht)
}