| drh | 7589723 | 2000-05-29 14:26:00 +0000 | [diff] [blame] | 1 | # |
| 2 | # Extract opcode documentation for sqliteVdbe.c and generate HTML |
| 3 | # |
| 4 | BEGIN { |
| 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 | } |
| 21 | END { |
| 22 | print "</table></body></html>" |
| 23 | } |