From 2f4baf1bb0db09e21d5784b4274b616281efa6b2 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 1cf272a9..87c2ee29 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -501,8 +501,8 @@ index.adoc html5 ${generated-docs.directory} - highlight.js + highlight.js js/highlight github true