| 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>"
 | 
| -}
 | 
| 
 |