1#
2# Extract opcode documentation for sqliteVdbe.c and generate HTML
3#
4BEGIN {
5  print "<html><body bgcolor=white>"
6  print "<h1>SQLite Virtual Database Engine Opcodes</h1>"
7  print "<table>"
8}
9/ Opcode: /,/\*\// {
10  if( $2=="Opcode:" ){
11    printf "<tr><td>%s&nbsp;%s&nbsp;%s&nbsp;%s</td>\n<td>\n", $3, $4, $5, $6
12  }else if( $1=="*/" ){
13    printf "</td></tr>\n"
14  }else if( NF>1 ){
15    sub(/^ *\*\* /,"")
16    gsub(/</,"&lt;")
17    gsub(/&/,"&amp;")
18    print
19  }
20}
21END {
22  print "</table></body></html>"
23}
24