$ java Main -debug file1 file2
+$ java Main -debug 2 file1 file2
diff --git a/doc/index.html b/doc/index.html index 46be860b..9558cd1a 100644 --- a/doc/index.html +++ b/doc/index.html @@ -1380,7 +1380,7 @@
$ java Main -debug file1 file2
+$ java Main -debug 2 file1 file2