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

Running with coqdoc frontend leaves coqdoc.css in current directory #16

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

Whenever I run Alectryon with the coqdoc frontend, e.g.,

alectryon.py --frontend coqdoc --webpage-style windowed \
   --output-directory docs/alectryon theories/Test.v

... I get coqdoc.css in the directory where I ran the command. Looking at coqdoc options, there doesn't seem to be one for avoiding css generation. Is this something that should be solved in Alectryon itself or reported upstream? Or even by the user running Alectryon?

cpitclaudel commented 3 years ago

Hmm, good point, yuck. Probably upstream? But the simplest in the meantime would be to run from a temporary directory; something like https://github.com/cpitclaudel/alectryon/pull/17 maybe? (I haven't had time to test it much yet)