From 5d02c1aabf470e38873bfa42cd6b69f009e72467 Mon Sep 17 00:00:00 2001
From: Willem van den Ende <willem@qwan.eu>
Date: Sat, 12 Sep 2026 15:54:00 +0100
Subject: [PATCH] agents tweak

---
 AGENTS.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/AGENTS.md b/AGENTS.md
index cddb6c8..6ed3395 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -8,11 +8,12 @@ Diagrams: `before-after-dto.mmd`, `after-dto.mmd` (source sketch:
 ## Rendering diagrams (mermaid → svg)
 
 Mermaid diagrams can be rendered to SVG with the `mmdc` CLI (mermaid-cli,
-installed via npm): `mmdc -i <input>` writes `<input>.svg` next to the source.
+installed via npm): `mmdc -i <input>` writes `<input>.svg` next to the
+source, i.e. `<name>.mmd` becomes `<name>.mmd.svg`.
 
 ```sh
-mmdc -i before-after-dto.mmd   # -> before-after-dto.svg
-mmdc -i after-dto.mmd          # -> after-dto.svg
+mmdc -i before-after-dto.mmd   # -> before-after-dto.mmd.svg
+mmdc -i after-dto.mmd          # -> after-dto.mmd.svg
 ```
 
 ## Running dotnet