--- trunk/doc/manual.html 2008/10/30 03:13:23 385 +++ trunk/doc/manual.html 2008/10/30 03:13:46 386 @@ -346,6 +346,10 @@ PATH must be a complete path relative to SOURCE-DIRECTORY. PATH can be a file or a directory (in which case the directory and its entire contents are skipped). This option may be given multiple times. +
--js-version=VERSION +
Use the specified JavaScript version; valid values for VERSION +are 1.0, 1.1, 1.2, ..., 1.8, +or ECMAv3 (the default).
--no-highlight
Do not perform syntax highlighting of JavaScript code.
--no-instrument=PATH @@ -479,6 +483,10 @@
--ip-address=ADDRESS
Run the server on the IP address given by ADDRESS. The default is 127.0.0.1. Specify 0.0.0.0 to use any address. +
--js-version=VERSION +
Use the specified JavaScript version; valid values for VERSION +are 1.0, 1.1, 1.2, ..., 1.8, +or ECMAv3 (the default).
--no-highlight
Do not perform syntax highlighting of JavaScript code.
--no-instrument=URL