task.setDestinationDir(generatedJavadocDirectory.get().getAsFile());
        });

        // TODO: destinationDirectory should be part of Javadoc
        javadocs.getRenderedDocumentation().from(javadocAll.flatMap(task -> (DirectoryProperty) task.getExtensions().getExtraProperties().get("destinationDirectory")));

            userManual.getStagedDocumentation().convention(userguideFlattenSources.flatMap(task -> (DirectoryProperty) task.getExtensions().getExtraProperties().get("destinationDirectory")));
            userManual.getRenderedDocumentation().from(userguide);
        });
    }

    private static void configureCodeHighlightingAttributes(Map<String, Object> attributes) {
        attributes.put("source-highlighter", "highlight.js");