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 %s %s %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(/</,"<") 17 gsub(/&/,"&") 18 print 19 } 20} 21END { 22 print "</table></body></html>" 23} 24