--- trunk/jscoverage-server-help.txt	2008/10/03 02:22:53	207
+++ trunk/jscoverage-server-help.txt	2008/10/30 03:13:46	386
@@ -5,6 +5,7 @@
       --document-root=DIR   serve content from DIR (default: current directory)
       --encoding=ENCODING   assume .js files use the given character encoding
       --ip-address=ADDRESS  bind to ADDRESS (default: 127.0.0.1)
+      --js-version=VERSION  use the specified JavaScript version
       --no-highlight        do not perform syntax highlighting
       --no-instrument=URL   do not instrument URL
       --port=PORT           use PORT for TCP port (default: 8080)