diff -r 74f490ba783a -r 2a2e56f4c03b make/UpdateBuildDocs.gmk
--- 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)