Open JoJoDeveloping opened 2 years ago
This is not really an answer, but it should work in a pinch. You can pass -R . Category
to Alectryon, as well as several different files. So:
alectryon -R . Category --frontend coqdoc --backend webpage *.v
should accomplish what you want. Still, it won't take into consideration other things in your _CoqProject
, such as any annotations disabling warnings, for example.
Hello,
when I naively try to execute
find . -name '*.v' -exec alectryon.py --frontend coqdoc --backend webpage {} \;
in a project using a_CoqProject
, I get errors like this:The
_CoqProject
starts with-R . Category
.Is there a general way for generating alectryon files for a project like this? I have wondered about this a few times now, but never really figured it out.
Thanks!