From c892b79ad1f6e4b1271b313481db75ec19959904 Mon Sep 17 00:00:00 2001 From: Oliver Drotbohm Date: Thu, 28 Jul 2022 13:27:36 +0200 Subject: [PATCH] Fix source highlighting in reference documentation. Tweak the declaration of the Asciidoctor build plugin to properly select highlight.js as source highlighter. Fixes #1777. --- parent/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/parent/pom.xml b/parent/pom.xml index 104d86e6..d139b536 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -555,8 +555,8 @@ index.adoc html5 ${generated-docs.directory} - highlight.js + highlight.js js/highlight github true