Skip to content

Restrict generated API documentation - #213

Merged
mveril merged 3 commits into
developfrom
fix/restrict-api-documentation
Nov 12, 2026
Merged

mveril merged 3 commits into
developfrom
fix/restrict-api-documentation

Conversation

@mveril

@mveril mveril commented Nov 12, 2026

Copy link
Copy Markdown
Owner

Summary

  • Disable rustdoc generation for the CLI binary while retaining the library API reference.
  • Make the symmetry assertion macro internal to the core library and update its callers.

Verification

  • cargo fmt --all
  • cargo clippy --all --workspace
  • cargo test --all --workspace
  • cargo doc --workspace --no-deps

The book needs no changes: its existing rustdoc instructions already generate the core library reference.

@mveril
mveril force-pushed the fix/restrict-api-documentation branch from 1230ba6 to d18d5d4 Compare November 12, 2026 10:48
@mveril mveril added the documentation Improvements or additions to documentation label Nov 12, 2026
@mveril
mveril force-pushed the fix/restrict-api-documentation branch from bbcaf69 to 4dfa54a Compare November 12, 2026 13:01
@mveril
mveril merged commit aae2738 into develop Nov 12, 2026
28 checks passed
@mveril
mveril deleted the fix/restrict-api-documentation branch November 12, 2026 14:07
mveril added a commit that referenced this pull request Nov 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant