8 commits

Author	SHA1	Message	Date
Stefan Frijters	a53438d18f	doc: nix-shell in pure mode does *not* source user bashrc	2020-10-18 14:26:05 +02:00
Eelco Dolstra	58dadf2954	Remove stray 'Title:' from the manual ... Closes #4096.	2020-10-08 17:30:40 +02:00
Eelco Dolstra	2ae9ac2369	console -> shell	2020-07-31 16:02:37 +02:00
Eelco Dolstra	1d0a7b54fa	Enable syntax highlighting	2020-07-31 15:43:25 +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