summaryrefslogtreecommitdiff
path: root/scripts/help2man.lua
diff options
context:
space:
mode:
authorSoni L <EnderMoneyMod@gmail.com>2023-09-19 20:30:36 -0300
committerGitHub <noreply@github.com>2023-09-19 16:30:36 -0700
commitdddc03d3bc4df2bca26a880e8f078f84ea3d2454 (patch)
tree372ff1087b535c52b122941983a584b47241fae4 /scripts/help2man.lua
parent3b108c1d1dc2d633b5d5842321e9c5b2bdcea413 (diff)
downloadwabt-dddc03d3bc4df2bca26a880e8f078f84ea3d2454.tar.gz
wabt-dddc03d3bc4df2bca26a880e8f078f84ea3d2454.tar.bz2
wabt-dddc03d3bc4df2bca26a880e8f078f84ea3d2454.zip
Rename wasm-opcodecnt to wasm-stats (#2298)
Diffstat (limited to 'scripts/help2man.lua')
-rw-r--r--scripts/help2man.lua2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/help2man.lua b/scripts/help2man.lua
index ed128b0c..ab23733e 100644
--- a/scripts/help2man.lua
+++ b/scripts/help2man.lua
@@ -2,7 +2,7 @@
local format_br = '\n.br\n'
local tools = {
- "wasm-decompile", "wasm-interp", "wasm-objdump", "wasm-opcodecnt",
+ "wasm-decompile", "wasm-interp", "wasm-objdump", "wasm-stats",
"wasm-strip", "wasm-validate", "wasm2c", "wasm2wat",
"wast2json", "wat-desugar", "wat2wasm", "spectest-interp"
}