| Index: third_party/sqlite/sqlite-src-3080704/tool/opcodeDoc.awk
|
| diff --git a/third_party/sqlite/sqlite-src-3080704/tool/opcodeDoc.awk b/third_party/sqlite/sqlite-src-3080704/tool/opcodeDoc.awk
|
| deleted file mode 100644
|
| index 492010624fd776b00cf3e30ac5abfa69295b6eba..0000000000000000000000000000000000000000
|
| --- a/third_party/sqlite/sqlite-src-3080704/tool/opcodeDoc.awk
|
| +++ /dev/null
|
| @@ -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>"
|
| -}
|
|
|