On Thu, Sep 2, 2021 at 8:21 AM ste...@eissing.org <ste...@eissing.org> wrote: > > OK, small hickup. The build shell for the manuals wants a JDK 1.8 or 11... > uhm...I need a time machine, or we can change the check there. > > Since I am not experienced in our manual stuff, can someone knowledgable > check this?
If it doesn't create a crazy diff from what's currently generated, it's fine. Maybe time to strip out the check.