##
## Rude and crude GMI to HTML converter
## You can convert your .gmi files to (simple) HTML
## awk -f g2h.awk index.gmi > index.html
## - or -
## You can preview your .gmi with a little formatting
## awk -f g2h.awh index.gmi | lynx -stdin
##
BEGIN{
inpre=false;
inul=false;
prev=""
print ""
print ""
print "