Skip to content

Update Vale vocabulary: add mintignore, phpdoc, Sphinx#6743

Closed
mintlify[bot] wants to merge 1 commit into
mainfrom
mintlify/bf5eb67d
Closed

Update Vale vocabulary: add mintignore, phpdoc, Sphinx#6743
mintlify[bot] wants to merge 1 commit into
mainfrom
mintlify/bf5eb67d

Conversation

@mintlify

@mintlify mintlify Bot commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

Summary

Adds three technical terms introduced in #6741 (SDK reference polish) to the Vale accept-list so they no longer trigger spelling warnings.

Changes

  • mintignore — Mintlify-specific ignore file referenced in the SDK reference setup guide.
  • phpdoc — valid format value for the SDK reference; complements the existing phpDocumentor entry.
  • Sphinx — Python documentation generator, a valid format value for the SDK reference.

Note

Low Risk
Documentation lint configuration only; no application or publishing behavior changes.

Overview
Extends the Mintlify Vale accept list with three terms so prose lint stops flagging them as misspellings after SDK reference updates.

mintignore is whitelisted near other Mintlify terms. phpdoc is added next to the existing phpDocumentor entry for SDK format values. Sphinx is added in the doc-tooling section of the vocabulary for the same reason.

Reviewed by Cursor Bugbot for commit f3c2fb9. Bugbot is set up for automated code reviews on this repo. Configure here.

@mintlify
mintlify Bot requested a review from ethanpalm July 24, 2026 22:16
@ethanpalm ethanpalm closed this Jul 24, 2026
@ethanpalm
ethanpalm deleted the mintlify/bf5eb67d branch July 24, 2026 22:16
@mintlify

mintlify Bot commented Jul 24, 2026

Copy link
Copy Markdown
Contributor Author

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

Project Status Preview Updated (UTC)
mintlify 🔴 Failed Jul 24, 2026, 10:18 PM

@mintlify

mintlify Bot commented Jul 24, 2026

Copy link
Copy Markdown
Contributor Author

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

Project Status Preview Updated (UTC)
tomee 🔴 Failed Jul 24, 2026, 10:18 PM

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

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.

1 participant