--- trunk/jscoverage-server-help.txt	2008/09/20 23:27:14	174
+++ trunk/jscoverage-server-help.txt	2008/10/03 02:22:53	207
@@ -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)
+      --no-highlight        do not perform syntax highlighting
       --no-instrument=URL   do not instrument URL
       --port=PORT           use PORT for TCP port (default: 8080)
       --proxy               run as a proxy