From 301ad67f12727074ae2ec3798d5e67f2d0fba378 Mon Sep 17 00:00:00 2001 From: Rene Rivera Date: Tue, 6 Aug 2002 05:43:39 +0000 Subject: [PATCH] Respect blank lines in printed sections to separate paragraphs. [SVN r14706] --- new/print.jam | 7 +++++-- v2/util/print.jam | 7 +++++-- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/new/print.jam b/new/print.jam index 9175a9159..d7ead7c82 100644 --- a/new/print.jam +++ b/new/print.jam @@ -47,9 +47,12 @@ rule section ( { lines $(name): ; lines ; - if $(description) + while $(description) { - lines [ split-at-words " " $(description) ] : " " ; + local paragraph = ; + while $(description) && $(description[1]) = "" { description = $(description[2-]) ; } + while $(description) && $(description[1]) != "" { paragraph += $(description[1]) ; description = $(description[2-]) ; } + lines [ split-at-words " " $(paragraph) ] : " " ; lines ; } } diff --git a/v2/util/print.jam b/v2/util/print.jam index 9175a9159..d7ead7c82 100644 --- a/v2/util/print.jam +++ b/v2/util/print.jam @@ -47,9 +47,12 @@ rule section ( { lines $(name): ; lines ; - if $(description) + while $(description) { - lines [ split-at-words " " $(description) ] : " " ; + local paragraph = ; + while $(description) && $(description[1]) = "" { description = $(description[2-]) ; } + while $(description) && $(description[1]) != "" { paragraph += $(description[1]) ; description = $(description[2-]) ; } + lines [ split-at-words " " $(paragraph) ] : " " ; lines ; } }