Skip to content

Ensure ACY files are present for every module

Jonas Oberschweiber requested to merge joo/curry-tools:master into master

CurryDoc fails when the initial call to the frontend does not generate ACY files for all dependent modules. With this patch, CurryDoc checks for an ACY file before generating the documentation for a module. If the file is missing, it calls the frontend to generate it.

Merge request reports