From f922fc2a594defff394d8df71e6038b39186f89f Mon Sep 17 00:00:00 2001
From: Andreas Heissenberger <andreas@heissenberger.at>
Date: Tue, 15 Jun 2021 03:43:51 +0200
Subject: [PATCH] doc: add debugging JS backend source map flags  (#10460)

---
 doc/docs.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/doc/docs.md b/doc/docs.md
index 7cbf8e185a..d7b9da3a41 100644
--- a/doc/docs.md
+++ b/doc/docs.md
@@ -4013,10 +4013,11 @@ native backend (flag: `-b native`).
 
 ### Javascript Backend
 
-There is currently no support for source maps for Javascript output,
-created by the JS Backend (flag: `-b js`).
-
+To debug the generated Javascript output you can active source maps:
+`v -b js -sourcemap hello.v -o hello.js`
 
+For all supported options check the latest help:
+`v help build-js`
 
 ## Conditional compilation