romenskiy2012/curl
1
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2026-04-15 01:11:40 +03:00
Code Issues Projects Releases Packages Wiki Activity

cd2nroff: use an empty "##" to signal end of .IP sequence

Browse source 
Like when we list a series of options and then want to add "normal" text
again afterwards.

Without this, the indentation level wrongly continues even after the
final "##" header, making following text wrongly appear to belong to the
header above.

Adjusted several curldown files to use this.

Fixes #13803
Reported-by: Jay Satiro
Closes #13806
This commit is contained in:
Daniel Stenberg 2024-05-28 08:32:19 +02:00
parent f284289720
commit 24b66a1de3
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
12 changed files with 48 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

5
scripts/cd2nroff
View file

@ -412,6 +412,11 @@ sub single {
}
$header = 1;
}
elsif(/^##/) {
# end of IP sequence
push @desc, ".PP\n";
$header = 1;
}
elsif(/^# (.*)/) {
my $word = $1;
# if there are enclosing quotes, remove them first