From eabbce5aee4caf14fdf876294f3f186e03c689dc Mon Sep 17 00:00:00 2001
From: "Dr. Martin Goik" <goik@pdc1.srv.mi.hdm-stuttgart.de>
Date: Sat, 20 May 2017 15:16:13 +0200
Subject: [PATCH] Workaround to
https://bugs.openjdk.java.net/browse/JDK-8129828
---
Doc/tools_jar_dejavu.patch | 12 ++++++++++++
1 file changed, 12 insertions(+)
create mode 100644 Doc/tools_jar_dejavu.patch
diff --git a/Doc/tools_jar_dejavu.patch b/Doc/tools_jar_dejavu.patch
new file mode 100644
index 000000000..991f99b42
--- /dev/null
+++ b/Doc/tools_jar_dejavu.patch
@@ -0,0 +1,12 @@
+diff -Naur tools_jar.orig/com/sun/tools/doclets/internal/toolkit/resources/stylesheet.css tools_jar/com/sun/tools/doclets/internal/toolkit/resources/stylesheet.css
+--- tools_jar.orig/com/sun/tools/doclets/internal/toolkit/resources/stylesheet.css 2017-03-15 01:19:46.000000000 +0100
++++ tools_jar/com/sun/tools/doclets/internal/toolkit/resources/stylesheet.css 2017-05-20 15:07:34.000000000 +0200
+@@ -3,7 +3,7 @@
+ Overall document style
+ */
+
+-@import url('resources/fonts/dejavu.css');
++/* goik: missing due to bugreport @import url('resources/fonts/dejavu.css'); */
+
+ body {
+ background-color:#ffffff;
--
GitLab