docs!: remove MkDocs documentation generation feature

[ryoppippi]

Summary

• Remove MkDocs-based documentation infrastructure from the project
• Eliminate GitHub Pages deployment workflow and all related configuration
• Simplify project by removing documentation build dependencies

Changes

File	Action
mkdocs.yml	Removed
scripts/build_docs.py	Removed
.github/workflows/docs.yml	Removed
pyproject.toml	Removed docs optional dependency group
justfile	Removed docs-serve and docs-build targets
CLAUDE.md	Removed documentation command references
uv.lock	Updated (removed mkdocs dependencies)

Breaking Changes

• The docs optional dependency group is no longer available
• make docs-serve and make docs-build commands are removed

Test plan

• Verify uv sync --all-extras succeeds without MkDocs dependencies
• Verify CI workflows pass without docs workflow
• Verify no broken references to removed files

---

Summary by cubic

Removed all MkDocs-based documentation, including mkdocs.yml, the build script, and the GitHub Pages deploy workflow. This simplifies the repo and removes the docs extras and commands (breaking change).

• Migration
  • Remove any use of the docs extra from installs and CI.
  • Replace or remove uses of the docs-serve and docs-build commands.
  • Update or remove links to the GitHub Pages docs site (no longer deployed).

^{Written for commit a0c7ade. Summary will update automatically on new commits.}

[cubic-dev-ai]

No issues found across 7 files

[Copilot]

Pull request overview

This PR removes all MkDocs-based documentation infrastructure from the project, including the documentation generation scripts, GitHub Pages deployment workflow, and all related dependencies. This simplifies the project by eliminating unused documentation tooling.

Key Changes

• Removed MkDocs configuration and documentation build scripts
• Eliminated GitHub Pages deployment workflow
• Cleaned up documentation-related dependencies from pyproject.toml and uv.lock

Reviewed changes

Copilot reviewed 6 out of 7 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
mkdocs.yml	Removed MkDocs configuration file including theme, markdown extensions, and navigation structure
scripts/build_docs.py	Removed Python script that converted example files to markdown documentation
.github/workflows/docs.yml	Removed GitHub Actions workflow that built and deployed documentation to GitHub Pages
pyproject.toml	Removed docs optional dependency group (mkdocs-terminal, pygments, pymdown-extensions)
justfile	Removed docs-serve and docs-build command targets
CLAUDE.md	Removed documentation command references and the "Updating Documentation" section
uv.lock	Removed MkDocs-related packages (mkdocs, mkdocs-terminal, mkdocs-get-deps, ghp-import, markdown, mergedeep, pymdown-extensions, pyyaml-env-tag, watchdog, platformdirs) and updated dependency resolution markers

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[glebedel]

LGTM