From 527914db05d80da4d0a070485ddd87720f514c66 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 17 Jul 2022 11:49:28 -0700
Subject: [PATCH] update documentation to use latest conventions

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/js/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/js/README.md b/src/api/js/README.md
index 27ff5bdfe..42c29518e 100644
--- a/src/api/js/README.md
+++ b/src/api/js/README.md
@@ -9,7 +9,7 @@ The readme for the bindings themselves is located in [`PUBLISHED_README.md`](./P
 
 You'll need to have emscripten set up, along with all of its dependencies. The easiest way to do that is with [emsdk](https://github.com/emscripten-core/emsdk).
 
-Then run `npm i` to install dependencies, `npm run build-ts` to build the TypeScript wrapper, and `npm run build-wasm` to build the wasm artifact.
+Then run `npm i` to install dependencies, `npm run build:ts` to build the TypeScript wrapper, and `npm run build:wasm` to build the wasm artifact.
 
 
 ## Tests