From 701bdc5f63c6902ed4d01102d867d7171749d83a Mon Sep 17 00:00:00 2001
From: Marcin Grzejszczak <marcin.grzejszczak@gmail.com>
Date: Tue, 10 Nov 2020 15:26:17 +0100
Subject: [PATCH] Moved the source highlighter

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index c33ceb26..57626a25 100644
--- a/pom.xml
+++ b/pom.xml
@@ -1192,7 +1192,6 @@
 										</sourceDocumentExtensions>
 										<outputDirectory>${generated-docs-multipage-output.dir}
 										</outputDirectory>
-										<sourceHighlighter>highlight.js</sourceHighlighter>
 										<doctype>book</doctype>
 										<attributes>
 											<docinfo>shared</docinfo>
@@ -1204,6 +1203,7 @@
 											<highlightjs-theme>github</highlightjs-theme>
 											<imagesdir>./images</imagesdir>
 											<attribute-missing>warn</attribute-missing>
+											<sourceHighlighter>highlight.js</sourceHighlighter>
 										</attributes>
 										<logHandler>
 											<outputToConsole>true</outputToConsole>