14 commits

Author	SHA1	Message	Date
Jan Tojnar	a793863b97	doc: Manually insert some anchors	2022-05-26 18:17:21 +02:00
Théophane Hufschmitt	54f07b66c8	Precise the doc for --include-outputs ... Make it explicit that it only includes the existing outputs and not the ones that haven’t been realised	2022-02-23 09:17:08 +01:00
Dimitris Apostolou	c34cc5e488	Fix typos	2021-11-03 18:11:20 +02:00
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
Eelco Dolstra	4638bcfb2c	Fix some typos ... Fixes #4671.	2021-03-26 16:14:38 +01:00
Eelco Dolstra	77c9ceda4b	Tweak	2021-01-11 19:42:24 +01:00
Eelco Dolstra	58dadf2954	Remove stray 'Title:' from the manual ... Closes #4096.	2020-10-08 17:30:40 +02:00
Eelco Dolstra	00d25e8457	Remove the --indirect flag ... All GC roots are now indirect.	2020-09-03 11:22:00 +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	da3d776cb9	Fix some dangling references	2020-07-24 14:31:33 +02:00
Eelco Dolstra	758c9ee1bb	Clean up the manpages	2020-07-24 12:56:19 +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	504b7abc45	Convert commands	2020-07-23 18:27:12 +02:00