4 Commits

Author	SHA1	Message	Date
Fabian Homborg	801d7e3e11	docs: Document that the man pages are for our builtins ... For builtins that have the same name as common commands, it might not be entirely obvious that there is another page. So, for those builtins, we add a note, but only in the man pages. (exception is true and false because the note would be longer than the page, and it's fridging true and false) Fixes #8077.	2021-07-16 18:21:41 +02:00
Johannes Altmanninger	4081d58577	docs: use monospace for inline code snippets more consistently	2020-10-26 19:25:41 +01:00
Johannes Altmanninger	5ff2d38d4c	builtin time: print help on invalid syntax ... I always mix up the order with variable assignments.	2020-10-26 19:25:41 +01:00
Aaron Gyes	85a0ca66e0	We no longer have two doc systems, move sphinx_doc_src back to doc_src	2020-02-19 17:00:35 -08:00