curl/scripts
Daniel Stenberg 24b66a1de3
cd2nroff: use an empty "##" to signal end of .IP sequence
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
2024-05-29 12:49:40 +02:00
..
2024-03-01 09:59:48 +01:00
2023-08-29 10:39:31 +02:00
2024-05-09 10:39:43 +02:00
2024-03-12 15:38:44 +00:00
2023-11-19 13:57:31 +01:00
2024-04-09 16:53:40 +02:00