--- a/make/UpdateBuildDocs.gmk Tue Jun 20 13:12:42 2017 +0200
+++ b/make/UpdateBuildDocs.gmk Wed Jun 21 12:51:25 2017 +0200
@@ -39,7 +39,7 @@
$(error Cannot continue)
endif
-GLOBAL_SPECS_DEFAULT_CSS_FILE := $(JDK_TOPDIR)/make/data/docs-resources/specs/resources/jdk-default.css
+GLOBAL_SPECS_DEFAULT_CSS_FILE := $(JDK_TOPDIR)/make/data/docs-resources/resources/jdk-default.css
################################################################################
@@ -49,6 +49,7 @@
FILES := $(DOCS_DIR)/building.md, \
DEST := $(DOCS_DIR), \
CSS := $(GLOBAL_SPECS_DEFAULT_CSS_FILE), \
+ OPTIONS := --toc, \
))
TARGETS += $(building)