diff --git a/build.gradle b/build.gradle
index f5272243394ece8c404ce9f51c10a243679426ec..cc56ee1f56bba88a4ee59b3f88552cd195196c6f 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 afba978a5823149d088a67d2ef8eef532104c9b9..edf3a7d6c1f424481eaceeec293e36139338d2d2 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