From 71995a90876fd5b0aa39259df35476fcc3b0c5ef Mon Sep 17 00:00:00 2001 From: Sam Brannen Date: Mon, 21 Jun 2021 17:52:18 +0200 Subject: [PATCH] Introduce custom header for HTML5 ref docs This commit disables the automatic header generation from Asciidoc's default template and replaces it with a custom header that omits the "Version" label before the revision number. The revision number is also displayed in a simple span tag in order to reduce the amount of vertical space taken by the header. --- gradle/docs.gradle | 3 +++ src/docs/asciidoc/docinfo-header.html | 4 ++++ 2 files changed, 7 insertions(+) create mode 100644 src/docs/asciidoc/docinfo-header.html diff --git a/gradle/docs.gradle b/gradle/docs.gradle index fed1b6f3b9..09d730cf3d 100644 --- a/gradle/docs.gradle +++ b/gradle/docs.gradle @@ -155,6 +155,9 @@ asciidoctorj { asciidoctor { baseDirFollowsSourceDir() configurations 'asciidoctorExt' + attributes([ + noheader: '' // custom header in docinfo-header.html + ]) sources { include '*.adoc' } diff --git a/src/docs/asciidoc/docinfo-header.html b/src/docs/asciidoc/docinfo-header.html new file mode 100644 index 0000000000..1be13e03b7 --- /dev/null +++ b/src/docs/asciidoc/docinfo-header.html @@ -0,0 +1,4 @@ +