Moved the source highlighter

2020-11-10 15:26:17 +01:00
parent 84afd82e17
commit 701bdc5f63
1 changed files with 1 additions and 1 deletions
--- 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>