git.iko.soy/Idris-dev
on 88005d8 help sign in
Idris-dev/src/Pkg
2 files
../ PParser.hsNo need to add .exe to the output name, it will be done later anyway Package.hsMake --mkdoc follow the sourcedir If you had an ipkg with a sourcedir defined before using the --mkdoc option would fail saying that some source files are missing. This is because it didn't follow the sourcedir.