diff --git a/build-docs b/build-docs index 8ebe31e1..0f93f837 100755 --- a/build-docs +++ b/build-docs @@ -142,7 +142,7 @@ function build_source { # process includes NAVIGATION_PARTIAL="${DOCS_DIR}/$(string_filter \"${DOCUMENT_Language_Code:-.}\" slug)/$(string_filter \"${DOCUMENT_Project_Version:-.}\" slug)/${CONFIG_Navigation%.markdown}.partial.html" NAVIGATION_RELPATH="${BASE_RELPATH#../../}" - if [[ -e "${NAVIGATION_PARTIAL}" ]]; then + if [[ -e "${NAVIGATION_PARTIAL}" ]] && [[ "${DOCUMENT_Type}" == "article" ]]; then sed -E \ -e 's|

([^<]+)

|

\1

|' \ -e 's|(