From 6217349ee65fa4f564b0679774877716594981d3 Mon Sep 17 00:00:00 2001
From: Magnus Ihse Bursie <ihse@openjdk.org>
Date: Tue, 11 Dec 2018 15:47:31 +0100
Subject: [PATCH] 8214910: If pandoc is present, markdown spec files should be
 processed

Reviewed-by: erikj, lancea
---
 make/Docs.gmk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/make/Docs.gmk b/make/Docs.gmk
index 9cbd5694d75..e97a6bec55e 100644
--- a/make/Docs.gmk
+++ b/make/Docs.gmk
@@ -532,9 +532,9 @@ $(foreach m, $(ALL_MODULES), \
   ) \
 )
 
-ifeq ($(ENABLE_FULL_DOCS), true)
+ifneq ($(PANDOC), )
   # For all markdown files in $module/share/specs directories, convert them to
-  # html.
+  # html, if we have pandoc (otherwise we'll just skip this).
 
   GLOBAL_SPECS_DEFAULT_CSS_FILE := $(DOCS_OUTPUTDIR)/resources/jdk-default.css