() [email protected] (Karl Berry) () Fri, 1 Mar 2013 23:08:21 GMT Perhaps it could be added to NEWS as a "deliberate discrepancy"?
Yes, I will.
Thanks.
I imagine there are many generated documents
I doubt it is all that "many", since the manual always more or less
implicitly recommended putting in blank lines in the source document
where you wanted them, and in practice, from what I've seen, that's
what people have done.
Yeah, i'm foolishly extrapolating from my own experiences. No worries.
--
Thien-Thi Nguyen
GPG key: 4C807502
pgpMLZWGkJe9t.pgp
Description: PGP signature
