From 428aaa289ca25a29c53093cfb7ea74e21ef6290e Mon Sep 17 00:00:00 2001 From: rswindell <> Date: Fri, 31 Dec 2004 22:08:26 +0000 Subject: [PATCH] Usage display includes both -color and -mono options. --- exec/typehtml.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/exec/typehtml.js b/exec/typehtml.js index 98a9f3e2f9..615107ceb0 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); } -- GitLab