From: Alexander Kriegisch Date: Sat, 6 Jan 2024 05:47:44 +0000 (+0700) Subject: Docs: Create separate CSS files, do not embed into HTML X-Git-Tag: V1_9_21_1~42 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=41b8bc56dae8e1cb021c9e52d687951ea4cd765e;p=aspectj.git Docs: Create separate CSS files, do not embed into HTML TODO: There still is one set of CSS files per subdirectory due to the way the docs directories are organised. It would be better to have them just once. But to achieve that, the ADOC-to-HTML conversion would have to be changed, e.g. using one central directory for images and reorganisation of the overall directory structure and build options. See https://github.com/asciidoctor/asciidoctor-maven-plugin/issues/729. Signed-off-by: Alexander Kriegisch --- diff --git a/pom.xml b/pom.xml index d62e3b9bf..e8dd18e45 100644 --- a/pom.xml +++ b/pom.xml @@ -424,9 +424,18 @@ coderay - left font + + true