diff --git a/doc/manual.html b/doc/manual.html index b8be70a3db2088f5ed02d1985bff05305f0e02fd..456d92efaefcdd79c53fb224215ebac33f4c4de0 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