Re: Pull request doc-2023-07-rc6

On Fri, Jun 23, 2023 at 08:14:44PM +0200, Heinrich Schuchardt wrote:

Dear Tom,

The following changes since commit 68c07fc5fdf34f0926cf06fc0c4ebd6f2f3afe19:

Merge https://source.denx.de/u-boot/custodians/u-boot-usb (2023-06-21 14:42:50 -0400)

are available in the Git repository at:

https://source.denx.de/u-boot/custodians/u-boot-efi.git tags/doc-2023-07-rc6

for you to fetch changes up to 35ed599f430bcba2fd2bc14e52e6cb450cd9a10c:

doc: Improve documentation for the bootm command (2023-06-23 16:28:13 +0200)

Gitlab CI showed no issue building the updated documentation: https://source.denx.de/u-boot/custodians/u-boot-efi/-/pipelines/16680

Applied to u-boot/master, thanks!