common/doc/building.html
changeset 45103 85999d3d05f0
parent 44078 673240c54c2e
child 45227 97be1bcd7b25
--- a/common/doc/building.html	Thu May 11 13:58:54 2017 -0700
+++ b/common/doc/building.html	Fri May 12 19:09:50 2017 +0200
@@ -6,6 +6,7 @@
   <meta name="generator" content="pandoc" />
   <title>OpenJDK Build README</title>
   <style type="text/css">code{white-space: pre;}</style>
+  <link rel="stylesheet" href=" ../../jdk/make/data/docs-resources/specs/resources/jdk-default.css" type="text/css" />
 </head>
 <body>
 <div id="header">