Please ignore. This is still covered by a "doc" target, just not
dependent on "full docs".
David
On 11/12/2018 9:59 am, David Holmes wrote:
On 11/12/2018 1:14 am, Magnus Ihse Bursie wrote:
If pandoc is available, specs should be built, even if full docs is
not enabled.
Why? specs, like any other target, should only be built when requested!
David
-----
Bug: https://bugs.openjdk.java.net/browse/JDK-8214910
WebRev:
http://cr.openjdk.java.net/~ihse/JDK-8214910-create-specs-if-pandoc-present/webrev.01
/Magnus
