Skip to content

Separate documentation sources from rendered output and fix edit links - #1585

Merged
hrischuk-da merged 5 commits into
mainfrom
network-vars-source-output
Sep 9, 2026
Merged

hrischuk-da merged 5 commits into
mainfrom
network-vars-source-output

Conversation

@danielporterda

@danielporterda danielporterda commented Sep 8, 2026

Copy link
Copy Markdown
Contributor

This pull request separates documentation sources from checked-in output and fixes the “Suggest edits" button to link to the source rather than the generated files.

After consent, “Suggest edits” opens docs-source/:

Source edit link

Validation and integration notes.

Signed-off-by: danielporterda <daniel.porter@digitalasset.com>
Signed-off-by: danielporterda <daniel.porter@digitalasset.com>
Signed-off-by: danielporterda <daniel.porter@digitalasset.com>
@mintlify

mintlify Bot commented Sep 8, 2026

Copy link
Copy Markdown
Contributor

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated
cantonfoundation 🟢 Ready View Preview Sep 8, 2026, 4:38 PM

💡 Tip: Enable Automations to automatically generate PRs for you.

Signed-off-by: danielporterda <daniel.porter@digitalasset.com>
Signed-off-by: danielporterda <daniel.porter@digitalasset.com>
@hrischuk-da
hrischuk-da merged commit 10e93b4 into main Sep 9, 2026
5 checks passed
@hrischuk-da
hrischuk-da deleted the network-vars-source-output branch September 9, 2026 17:14
davidrichards-da added a commit that referenced this pull request Sep 11, 2026
Resolve conflicts from the docs-source restructure. main introduced
docs-source in #1585 and then removed it again in #1598 ("Restore
Mintlify authoring in docs-main"), so this branch's docs-source tree is
dropped in favour of docs-main, which is authoritative again.

Also restores docs-main/overview/understand/who-should-read.mdx, which
had been emptied to frontmatter on this branch; main's full version is
kept.

Signed-off-by: davidrichards-da <89472028+davidrichards-da@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants