From 05dd9b576074b3054f71914118cd5716c4367821 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 8 Nov 2022 16:25:03 +0100
Subject: [PATCH] Set all attributes in adoc header instead of build.gradle

So they are automatically accessible to other AsciiDoc tools.
---
 build.gradle                         | 12 ------------
 src/docs/asciidoc/prob_handbook.adoc | 11 +++++++++--
 2 files changed, 9 insertions(+), 14 deletions(-)

diff --git a/build.gradle b/build.gradle
index f527224..cc56ee1 100644
--- a/build.gradle
+++ b/build.gradle
@@ -38,8 +38,6 @@ task bibtex() {
 asciidoctor {
     dependsOn = [bibtex, asciidoctorGemsPrepare]
 
-    options doctype: 'book'
-
     outputOptions {
         backends = ['html5', 'pdf']
     }
@@ -49,16 +47,6 @@ asciidoctor {
             diagram.use()
         }
         requires = ['asciidoctor-bibtex']
-        attributes = [
-            'source-highlighter': 'coderay',
-            'coderay-linenums-mode': 'table',
-            'toc': 'left',
-            'imagesdir': 'images',
-            'icon': 'font',
-            'linkattrs': true,
-            'encoding': 'utf-8',
-            'bibtex-file': 'combined.bib',
-        ]
     }
 
     baseDirFollowsSourceDir()
diff --git a/src/docs/asciidoc/prob_handbook.adoc b/src/docs/asciidoc/prob_handbook.adoc
index afba978..edf3a7d 100644
--- a/src/docs/asciidoc/prob_handbook.adoc
+++ b/src/docs/asciidoc/prob_handbook.adoc
@@ -1,8 +1,15 @@
 = ProB Handbook
 Jens Bendisposto;Joy Clark;Michael Leuschel
-
+:bibtex-file: combined.bib
+:coderay-linenums-mode: table
+:doctype: book
+:encoding: utf-8
+:icon: font
+:imagesdir: images
+:linkattrs:
+:source-highlighter: coderay
+:toc: left
 :xrefstyle: short
-:toc:
 
 :leveloffset: +1
 
-- 
GitLab