Loading docs/prepare.sh +4 −1 Changes for docs/prepare.sh: 4 added lines, 1 removed line. Original line number Diff line number Diff line Loading @@ -57,7 +57,10 @@ sed -i \ # Inject 'toc' section (PDF only) find "${docs_path}/" -name '*.md' \ | while read -r file_path; do if ! grep -q '\[TOC\]' "${file_path}"; then if ! grep -q '\[TOC\]' "${file_path}" \ && ! grep -c '^## ' "${file_path}" | grep -q '^0$\|^1$' \ && ! grep -q '^<!-- documentation no-toc -->$' "${file_path}" \ && ! grep -q '^<!-- generated documentation section -->$' "${file_path}"; then sed -E -i ' 0,/^---$/ { s/^---$/---\ Loading Loading
docs/prepare.sh +4 −1 Changes for docs/prepare.sh: 4 added lines, 1 removed line. Original line number Diff line number Diff line Loading @@ -57,7 +57,10 @@ sed -i \ # Inject 'toc' section (PDF only) find "${docs_path}/" -name '*.md' \ | while read -r file_path; do if ! grep -q '\[TOC\]' "${file_path}"; then if ! grep -q '\[TOC\]' "${file_path}" \ && ! grep -c '^## ' "${file_path}" | grep -q '^0$\|^1$' \ && ! grep -q '^<!-- documentation no-toc -->$' "${file_path}" \ && ! grep -q '^<!-- generated documentation section -->$' "${file_path}"; then sed -E -i ' 0,/^---$/ { s/^---$/---\ Loading