diff --git a/exec/typehtml.js b/exec/typehtml.js index 98a9f3e2f96a54f8b60016dbeaf6fac10f74673f..615107ceb09c14cd3fd23a9870f172efdebfe111 100644 --- a/exec/typehtml.js +++ b/exec/typehtml.js @@ -37,7 +37,7 @@ for(i in argv) { } if(this.f==undefined) { - print("usage: typehtml [-mono] <filename>"); + print("usage: typehtml [-mono | -color] <filename>"); exit(1); }