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
Mark Rotteveel wrote: > 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. Automatically get the necessary libraries and other dependencies (so > no more manually getting the lib
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.