< prev index next >

make/UpdateBuildDocs.gmk

Print this page

        

@@ -32,11 +32,11 @@
 ################################################################################
 # This makefile updates the generated build html documentation.
 #
 ################################################################################
 
-ifeq ($(ENABLE_PANDOC), false)
+ifeq ($(PANDOC), )
   $(info No pandoc executable was detected by configure)
   $(error Cannot continue)
 endif
 
 GLOBAL_SPECS_DEFAULT_CSS_FILE := $(TOPDIR)/make/data/docs-resources/resources/jdk-default.css

@@ -59,18 +59,10 @@
   CSS := $(GLOBAL_SPECS_DEFAULT_CSS_FILE), \
   OPTIONS := --toc, \
 ))
 TARGETS += $(testing)
 
-$(eval $(call SetupProcessMarkdown, ide, \
-  FILES := $(DOCS_DIR)/ide.md, \
-  DEST := $(DOCS_DIR), \
-  CSS := $(GLOBAL_SPECS_DEFAULT_CSS_FILE), \
-  OPTIONS := --toc, \
-))
-TARGETS += $(ide)
-
 ################################################################################
 
 $(eval $(call IncludeCustomExtension, UpdateBuildDocs.gmk))
 
 ################################################################################
< prev index next >