# # Extract opcode documentation for sqliteVdbe.c and generate HTML # BEGIN { print "" print "

SQLite Virtual Database Engine Opcodes

" print "" } / Opcode: /,/\*\// { if( $2=="Opcode:" ){ printf "\n\n" }else if( NF>1 ){ sub(/^ *\*\* /,"") gsub(/" }

%s %s %s %s

\n", $3, $4, $5, $6 }else if( $1=="*/" ){ printf "