On 8-7-2018 15:28, Paul Vinkenoog wrote:
Mark Rotteveel wrote:
1. Is the monohtml task ever actually used? If so for which documents?
Helen used it for the Release Notes and some other documents. But she
seems to have switched completely to chunked HTML now.
Monohtml might still be useful
I think Paul is probably the one who knows the most about this, but I'll
post to the list to be sure I don't miss anything.
As I mentioned before, I'm reworking the build to gradle so that
1. We can do away with the old ant version that is not compatible with
recent Java versions
2.
