HomeSoftware Heritage

Use OpenJDK 11 to build the documentation

Description

Use OpenJDK 11 to build the documentation

(Apparently we need OpenJDK >= 9 as mentioned in T1943)

Details

Provenance
olasdAuthored on Aug 26 2019, 9:35 AM
olasdPushed on Aug 26 2019, 9:38 AM
Parents
rCDFJc16da1c50f69: add maven to sphinx Dockerfile
Branches
Unknown
Tags
Unknown