| Index: third_party/sqlite/tool/opcodeDoc.awk
|
| ===================================================================
|
| --- third_party/sqlite/tool/opcodeDoc.awk (revision 56608)
|
| +++ third_party/sqlite/tool/opcodeDoc.awk (working copy)
|
| @@ -1,23 +0,0 @@
|
| -#
|
| -# 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(/&/,"&")
|
| - print
|
| - }
|
| -}
|
| -END {
|
| - print "</table></body></html>"
|
| -}
|
|
|