#! /bin/awk -f
/^[Tt]itle:/ 	{ Title = substr($0, 8) }
/^[Dd]ocID:/    { DocID = $2 }
/^ThisDescID:/  {  ThisDescID = $2 }
END  {
        printf("<li><a href=/sys33doc/%s>\n%s</a>\n", DocID, Title)
     }
