From 44d30d7c5daee94a62b10431655a2f869dd661e3 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Wed, 9 Sep 2015 11:53:21 +0200
Subject: [PATCH] [manual] Add note about runmode.node.js example
Issue #3511
---
doc/manual.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/manual.html b/doc/manual.html
index b8be70a3..456d92ef 100644
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -2439,7 +2439,7 @@ editor.setOption("extraKeys", {
running <a href="../addon/runmode/runmode-standalone.js">stand-alone</a>
(without including all of CodeMirror) and
for <a href="../addon/runmode/runmode.node.js">running under
- node.js</a>.</dd>
+ node.js</a> (see <code>bin/source-highlight</code> for an example of using the latter).</dd>
<dt id="addon_colorize"><a href="../addon/runmode/colorize.js"><code>runmode/colorize.js</code></a></dt>
<dd>Provides a convenient way to syntax-highlight code snippets
--
GitLab