Add usage text for 'katla html'

idris-community · Dec 8, 2022 · 52ca31b · 52ca31b
1 parent 7a793ba
commit 52ca31b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/Katla/CLI.idr b/src/Katla/CLI.idr
@@ -81,7 +81,10 @@ literateCmd = MkCommand
 export
 htmlCmd : Command "html"
 htmlCmd = MkCommand
-  { description = "HTML backend"
+  { description = """
+    HTML backend
+    Usage: html build/ttc/20000101/Katla.ttc build/ttc/20000101/Katla.ttm > out.html
+    """
   , subcommands =
     [ "init"     ::= initHTMLCmd
     ]