--- trunk/jscoverage-server.1 2008/10/30 03:13:23 385 +++ trunk/jscoverage-server.1 2008/10/30 03:13:46 386 @@ -28,6 +28,12 @@ (default: 127.0.0.1). .TP +.B --js-version=VERSION +use the specified JavaScript version; valid values for +.B VERSION +are 1.0, 1.1, 1.2, ..., 1.8, or ECMAv3 (the default). + +.TP .B --no-highlight do not perform syntax highlighting.