From 24e240f219f74ade85683ef71e0942e498742323 Mon Sep 17 00:00:00 2001 From: Bradley Sepos Date: Wed, 18 May 2016 14:37:57 -0400 Subject: [PATCH] build: Link advanced navigation top heading to Table of contents. --- build-docs | 1 + 1 file changed, 1 insertion(+) diff --git a/build-docs b/build-docs index 9a15b9b1..258608f0 100755 --- a/build-docs +++ b/build-docs @@ -144,6 +144,7 @@ function build_source { NAVIGATION_RELPATH="${BASE_RELPATH#../../}" if [[ -e "${NAVIGATION_PARTIAL}" ]]; then sed -E \ + -e 's|

([^<]+)

|

\1

|' \ -e 's|(]*)>([^<>]+)|\2|g' \ "${NAVIGATION_PARTIAL}" > "${DEST}.nav.partial.html"