idream-build / idream

A simple build system for Idris
BSD 3-Clause "New" or "Revised" License
22 stars 2 forks source link

Fix/mkdocs command #7

Closed luc-tielen closed 6 years ago

luc-tielen commented 6 years ago

Fixes the --mkdocs command. There is still some weird stuff going on when an executable package only has a main file, complains about no documentation found. Also, for now it is still needed to first run compile before running mkdocs; this is because compile also copies some .ibc files over.. should be an easy fix though.