search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
228 stars 36 forks source link

`--sertop-args` or `--sertop-arg`? #24

Closed JasonGross closed 3 years ago

JasonGross commented 3 years ago

The README mentions --sertop-args, but the help string only talks about --sertop-arg

cpitclaudel commented 3 years ago

Good catch, thanks! The readme has a typo. I added more explanations, too