--- a/make/UpdateBuildDocs.gmk	Mon Jun 03 17:14:23 2019 -0700
+++ b/make/UpdateBuildDocs.gmk	Mon Jun 03 10:28:03 2019 +0200
@@ -61,6 +61,14 @@
 ))
 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))