8 commits

Author	SHA1	Message	Date
regnat	31313d1401	Replace the trailing markdown spaces by a backslash ... They are equivalent according to <https://spec.commonmark.org/0.29/#hard-line-breaks>, and the trailing spaces tend to be a pain (because the make git complain, editors tend to want to remove them − the `.editorconfig` actually specifies that − etc..).	2021-04-23 14:37:21 +02:00
Travis A. Everett	ac8ba2eae4	remove doc for obsolete --no-build-hook flag ... `--no-build-hook` appears to have been removed in 25f32625e2	2021-03-06 19:51:29 -06:00
Eelco Dolstra	84f5cabbea	Merge remote-tracking branch 'origin/master' into markdown	2020-08-31 14:24:26 +02:00
Eelco Dolstra	1d0a7b54fa	Enable syntax highlighting	2020-07-31 15:43:25 +02:00
Eelco Dolstra	05a282295f	Fix internal links	2020-07-24 15:46:16 +02:00
Eelco Dolstra	8d0b311a1c	Get rid of footnotes ... Markdown doesn't support them.	2020-07-24 11:43:44 +02:00
Eelco Dolstra	802150f987	<replaceable> -> <emphasis> ... Pandoc doesn't know <replaceable> so let's force it to be rendered as italics.	2020-07-23 18:27:20 +02:00
Eelco Dolstra	f390303566	Reconvert	2020-07-23 18:27:11 +02:00