On Tue, 27 May 2025 08:26:28 +0200, Enrico Jörns wrote:
> This removes some unexpected highlighting, like for 'done' in the 'git
> clone' output.
>
> * Consistently use 'console' type for console output.
> 'sh' is for shell scripts.
> * Prefix all commands with prompt symbol "$", to have proper
> highlighting of variables, etc.
> Sphinx will ensure the resulting HTML lines are still copy+pastable.
>
> [...]
Applied, thanks!
[1/5] doc: user: barebox: improved and consistent markup for console examples
https://git.pengutronix.de/cgit/barebox/commit/?id=2681997ede77 (link may
not be stable)
[2/5] doc: user: devicetree: fix indentation and typo
https://git.pengutronix.de/cgit/barebox/commit/?id=2a18f3f6eb0a (link may
not be stable)
[3/5] doc: user: barebox: add markup for release scheme and update dates
https://git.pengutronix.de/cgit/barebox/commit/?id=b166f4244218 (link may
not be stable)
[4/5] doc: conf.py: update copyright from 2022 to 2025
https://git.pengutronix.de/cgit/barebox/commit/?id=c80080e091a2 (link may
not be stable)
[5/5] doc: user: booting-linux: fix double code-block markup
https://git.pengutronix.de/cgit/barebox/commit/?id=854a8b2b7a83 (link may
not be stable)
Best regards,
--
Sascha Hauer <s.ha...@pengutronix.de>
