diff -r 7b4f2f7376fe -r 2e41937c9cab make/Docs.gmk
--- a/make/Docs.gmk	Wed Dec 12 09:50:39 2018 -0800
+++ b/make/Docs.gmk	Tue Dec 11 15:47:31 2018 +0100
@@ -532,9 +532,9 @@
   ) \
 )
 
-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