mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-08 07:51:43 +03:00
Fix makefile
This commit is contained in:
parent
df2c0f1b01
commit
0e7943b8f7
2
Makefile
2
Makefile
@ -141,7 +141,7 @@ tests: build .FORCE
|
||||
grammar.html: src/catala/catala_surface/parser.mly
|
||||
obelisk html -o $@ $<
|
||||
|
||||
catala.html: src/catala/cli.ml
|
||||
catala.html: src/catala/utils/cli.ml
|
||||
dune exec src/catala.exe -- --help=groff | man2html | sed -e '1,8d' \
|
||||
| tac | sed "1,20d" | tac > $@
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user