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