diff --git a/spec_on_pages.sh b/spec_on_pages.sh index 002e0c34f88994a938e4bbdba90c6c34a609aef0..afb68b1a6563fce9fdcca42721ad21c75d532dd1 100644 --- a/spec_on_pages.sh +++ b/spec_on_pages.sh @@ -39,7 +39,7 @@ git checkout $7 ####### GENERATE NAV SPEC ####### echo "------ Generate input for mkdocs --------" -python3 $1 -it --title ${9^^} "./$8.md" +python3 $1 -it -ihp --title ${9^^} "./$8.md" echo "------ Move to docs folder --------" mv ${9^^}/* docs/ sed -i 's/'${9^^}'\///g' _nav.yml diff --git a/toMkdocs/toMkdocs.py b/toMkdocs/toMkdocs.py index 9277e2bf400356812d41c66e7201c53f7d7f13ea..34b414f7cd595d0c6fbb26698b921611bc3cc02d 100644 --- a/toMkdocs/toMkdocs.py +++ b/toMkdocs/toMkdocs.py @@ -344,6 +344,8 @@ def prepareForMkdocs(clauses:list[Clause], includeHangingParagraphs:bool = False print(f'[yellow]Hanging paragraph in clause "{clause.title}" {"(removed)" if not includeHangingParagraphs else "(kept)"}') if not includeHangingParagraphs: clauses[i].lines = [] + else: + clauses[i].lines = [Line("<mark>Editor note: This is a hanging paragraph and it must be moved to its own clause</mark>")] + clauses[i].lines # Repair wrong markdown for indented lines. # Add 2 spaces to existing 2-space indentions