From a2575e0d3e7f21c28a4eb73b463c3e26cd7fbe5a Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 10 Oct 2016 15:40:19 +0200 Subject: [PATCH] org: really hide the plantuml logo Fix a5d6aa2. * doc/org/.dir-locals.el.in, doc/org/init.el.in: Use -Djava.awt.headless=true, not -Djava.awt.headless. --- doc/org/.dir-locals.el.in | 2 +- doc/org/init.el.in | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/org/.dir-locals.el.in b/doc/org/.dir-locals.el.in index 5459cad8f..e5f3385d4 100644 --- a/doc/org/.dir-locals.el.in +++ b/doc/org/.dir-locals.el.in @@ -41,7 +41,7 @@ ; Prevent the plantuml logo to annoying appear on ; top of whatever you are doing when the project ; compiles in the background. - (:java . "-Djava.awt.headless"))) + (:java . "-Djava.awt.headless=true"))) (org-publish-project-alist . (("spot-html" :base-directory "." diff --git a/doc/org/init.el.in b/doc/org/init.el.in index ceaa4c34f..11457eff0 100644 --- a/doc/org/init.el.in +++ b/doc/org/init.el.in @@ -37,7 +37,7 @@ ;; prevent the plantuml logo to annoying appear on top of ;; whatever you are doing when the project compiles in the ;; background. - (:java . "-Djava.awt.headless"))) + (:java . "-Djava.awt.headless=true"))) (setenv "PATH" (concat "@abs_top_builddir@/bin" path-separator (getenv "PATH")))