search

Deducteam / Logipedia

An encyclopedia of proofs
56 stars 11 forks source link

mv: target 'website/web/theorems/download/files' is not a directory while building the web target #4

Closed rprimet closed 5 years ago

rprimet commented 5 years ago

As mentioned during our meeting, it would be helpful if the generator or the makefile target ensured that the directory exists.