| # | |
| # Extract opcode documentation for sqliteVdbe.c and generate HTML | |
| # | |
| BEGIN { | |
| print "<html><body bgcolor=white>" | |
| print "<h1>SQLite Virtual Database Engine Opcodes</h1>" | |
| print "<table>" | |
| } | |
| / Opcode: /,/\*\// { | |
| if( $2=="Opcode:" ){ | |
| printf "<tr><td>%s %s %s %s</td>\n<td>\n", $3, $4, $5, $6 | |
| }else if( $1=="*/" ){ | |
| printf "</td></tr>\n" | |
| }else if( NF>1 ){ | |
| sub(/^ *\*\* /,"") | |
| gsub(/</,"<") | |
| gsub(/&/,"&") | |
| } | |
| } | |
| END { | |
| print "</table></body></html>" | |
| } |