From 01479b6c4a5a7863b9712b16123d41fea6a3951f Mon Sep 17 00:00:00 2001
From: Russ Cox
. -// Turn each run of indented lines into a
block without indent. -// Enclose headings with header tags. +// Each span of unindented non-blank lines is converted into +// a single paragraph. There is one exception to the rule: a span that +// consists of a single line, is followed by another paragraph span, +// begins with a capital letter, and contains no punctuation +// is formatted as a heading. +// +// A span of indented lines is converted into ablock, +// with the common indent prefix removed. // // URLs in the comment text are converted into links; if the URL also appears // in the words map, the link is taken from the map (if the corresponding map -- 2.50.0