Skip to content

Exclude AGENTS.md from the docs build#275

Merged
brunopgalvao merged 1 commit into
mainfrom
exclude-agents-md-from-build
Jun 2, 2026
Merged

Exclude AGENTS.md from the docs build#275
brunopgalvao merged 1 commit into
mainfrom
exclude-agents-md-from-build

Conversation

@brunopgalvao
Copy link
Copy Markdown
Contributor

Summary

Add AGENTS.md to exclude_docs so it isn't published as a page.

Why

polkadot-developers/polkadot-docs#1678 introduces an AGENTS.md at the root of the docs content repo — instructions for coding agents authoring docs (styleguide adoption), not reader-facing content. Since docs_dir is polkadot-docs, without this exclusion it would be built and served at docs.polkadot.com/AGENTS.md.

This excludes it the same way README.md and LICENSE.md are already excluded. Flagged by @eshaben in the review of that PR.

polkadot-docs now ships an AGENTS.md (coding-agent styleguide instructions,
see polkadot-developers/polkadot-docs#1678). Without this it would be
published at docs.polkadot.com/AGENTS.md. Exclude it like README/LICENSE.
@brunopgalvao brunopgalvao merged commit 135740e into main Jun 2, 2026
@brunopgalvao brunopgalvao deleted the exclude-agents-md-from-build branch June 2, 2026 05:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants