various changes (#30)

* Fix Makefile

* Add usage text for 'katla html'

* Fix Makefile again

* Fix usage text

* Update src/Katla/CLI.idr

Co-authored-by: G. Allais <guillaume.allais@ens-lyon.org>

---------

Co-authored-by: Locria Cyber <74560659+locriacyber@users.noreply.github.com>
Co-authored-by: G. Allais <guillaume.allais@ens-lyon.org>

Makefile

@@ -1,18 +1,20 @@
-project:build/exec/katla
+.PHONY: project src install test doc clean
 
-.PHONY:
+project: build/exec/katla
 
-build/exec/katla: .PHONY
+src: src/**/*.idr
+
+build/exec/katla: src 
 	idris2 --build katla.ipkg
 
 install: build/exec/katla
 	idris2 --install katla.ipkg
 	cp -R build/exec/* ~/.idris2/bin/
 
-test: .PHONY
+test:
 	make -C tests
 
-doc:
+doc: src
 	idris2 --mkdoc katla.ipkg
 
 clean:

src/Katla/CLI.idr

@@ -82,7 +82,10 @@ literateCmd = MkCommand
 export
 htmlCmd : Command "html"
 htmlCmd = MkCommand
-  { description = "HTML backend"
+  { description = """
+    HTML backend
+    Usage: html Katla.idr build/ttc/*/Katla.ttm > out.html
+    """
   , subcommands =
     [ "init"     ::= initHTMLCmd
     ]