Hi Magnus The patch looks good.
I also verified that ‘make docs’ generates the spec with the patch Thank you for addressing this. > On Dec 10, 2018, at 10:14 AM, Magnus Ihse Bursie > <magnus.ihse.bur...@oracle.com> wrote: > > If pandoc is available, specs should be built, even if full docs is not > enabled. > > 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 <http://oracle.com/us/design/oracle-email-sig-198324.gif> <http://oracle.com/us/design/oracle-email-sig-198324.gif> <http://oracle.com/us/design/oracle-email-sig-198324.gif> <http://oracle.com/us/design/oracle-email-sig-198324.gif>Lance Andersen| Principal Member of Technical Staff | +1.781.442.2037 Oracle Java Engineering 1 Network Drive Burlington, MA 01803 lance.ander...@oracle.com <mailto:lance.ander...@oracle.com>