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"