From 37e528497a5118b71a94c7780e66e35247fff3d2 Mon Sep 17 00:00:00 2001 From: Nathanael Nerode Date: Sat, 4 Jun 2022 15:11:13 -0400 Subject: [PATCH] Extension documentation rendering: small code reformat preparatory to future cleanup --- services/html-module/Chapter 2/Documentation Renderer.w | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/services/html-module/Chapter 2/Documentation Renderer.w b/services/html-module/Chapter 2/Documentation Renderer.w index a62ef1687..01d80ff84 100644 --- a/services/html-module/Chapter 2/Documentation Renderer.w +++ b/services/html-module/Chapter 2/Documentation Renderer.w @@ -304,7 +304,9 @@ int DocumentationRenderer::set_body_text(wording W, OUTPUT_STREAM, if (close_I6_position == i) WRITE(" -)"); } if (mid_example) @; - if (example_which_is_open != EDOC_FRAGMENT_ONLY) @; + if (example_which_is_open != EDOC_FRAGMENT_ONLY) { + @; + } return example_count; }