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

cli: Invoke coqdoc in a temporary directory #17

Closed cpitclaudel closed 3 years ago

cpitclaudel commented 3 years ago

Coqdoc writes coqdoc.css unconditionally in its cwd, so invoke it from a temporary directory.

Fixes GH-16.

palmskog commented 3 years ago

Coqdoc writes coqdoc.css unconditionally in its cwd, so invoke it from a temporary directory.

More precisely, coqdoc writes coqdoc.css unconditionally to its designated output directory, which can be given explicitly by -d (so it's not always cwd, but cwd is the default).

I tried this PR locally, and it solves the problem for me, so :+1: here.

cpitclaudel commented 3 years ago

I added "-d" just in case, thanks for pointing that out. The test seems to pass on my machine, so :rocket: