why fregedoc doesn't generate a fregedoc.html ?

Question

why fregedoc doesn't generate a fregedoc.html ?

januslynd opened this issue 9 years ago · 2 comments

Hi I'm generating my project's fregedoc with the gradle plugin, but no framedoc.html is created (like the one at http://www.frege-lang.org/doc/fregedoc.html)

Am I missing something ? Some parameter...
Is this a bug ?

Thanks :)

Answer 1 · 2016-01-08T09:18:49.000Z

No, its not a bug, IMHO.
This is done by an extra tool frege.tools.MakeDocIndex that should be included in the fregec.jar

Answer 2 · 2016-01-08T23:30:40.000Z

Agree, it's not a bug of the Gradle plugin. I just assumed frege.tools.fregeDoc tool should be doing everything for me (the same way javadoc does) :(

In the meantime, as a workaround, I would probably create a Gradle task to invoke MakeDocIndex after invoking fregeDoc task.

Thanks

PD: It's ok for me to close this issue.