[PATCH v2 0/2] Update the devtool quick reference document

[Antonin Godard <antonin.godard@bootlin.com>]

* Refresh command outputs from `devtool --help` and `devtool add
  --help`.
* Add some brief details on the subcommands that were previously
  undocumented, and the more recent commands that weren't documented
  yet.
* The remaining subcommands are still present in devtool, so leave them
  as-is.

Signed-off-by: Antonin Godard <antonin.godard@bootlin.com>
---
Changes in v2:
- configure-help: Give an example of what the command will output for.
- ide-sdk: mention that like deploy-target an ssh server must be running
  on the target.
- Link to v1: https://lore.kernel.org/r/20241017-devtool-improvements-v1-0-2bacc656fe39@bootlin.com

---
Antonin Godard (2):
      ref-manual: devtool-reference: refresh example outputs
      ref-manual: devtool-reference: document missing commands

 documentation/ref-manual/devtool-reference.rst | 72 ++++++++++++++++++++++----
 1 file changed, 61 insertions(+), 11 deletions(-)
---
base-commit: e4b64514673471850635a8dbbf62f34e710e276a
change-id: 20241017-devtool-improvements-68a7c869e2b4

Best regards,
-- 
Antonin Godard <antonin.godard@bootlin.com>