Skip to content

feat: replace MkDocs with ProperDocs#838

Merged
henryiii merged 3 commits into
mainfrom
properdocs
Jul 24, 2026
Merged

feat: replace MkDocs with ProperDocs#838
henryiii merged 3 commits into
mainfrom
properdocs

Conversation

@henryiii

@henryiii henryiii commented Jul 24, 2026

Copy link
Copy Markdown
Collaborator

🤖 AI text below 🤖

Switches the mkdocs docs option to ProperDocs, the maintained drop-in fork of MkDocs by a former MkDocs maintainer.

  • The option value, conditional template files, and tab sync keys are renamed mkdocsproperdocs; the config file is now properdocs.yml (ProperDocs still reads mkdocs.yml as a deprecated fallback).
  • The docs dependency group swaps mkdocs>=1.1.2 for properdocs>=1.6.7; mkdocs-material and mkdocstrings work unchanged (they still pull in mkdocs as a library — ProperDocs is the runner and loads plugins from both entry-point groups).
  • nox and Read the Docs invoke the properdocs CLI; the guide and tutorial pages are updated, with cog blocks regenerated.

Verified beyond CI: built a generated project's docs with the full material + mkdocstrings + autorefs stack under ProperDocs.

Note for existing copier users: the recorded docs: mkdocs answer must be updated to properdocs before running copier update — worth a changelog note.


📚 Documentation preview 📚: https://scientific-python-cookie--838.org.readthedocs.build/

Switch the mkdocs docs option to properdocs, the maintained drop-in fork
of MkDocs. The config file becomes properdocs.yml, the docs group swaps
mkdocs for properdocs, and nox/Read the Docs run the properdocs CLI.
mkdocs-material and mkdocstrings work unchanged. Existing copier users
will need to update their docs answer from mkdocs to properdocs.

Assisted-by: ClaudeCode:claude-fable-5
Comment thread docs/guides/docs.md Outdated
Comment thread docs/guides/docs.md Outdated
@henryiii
henryiii marked this pull request as ready for review July 24, 2026 18:08
@henryiii
henryiii merged commit 71e84cc into main Jul 24, 2026
33 checks passed
@henryiii
henryiii deleted the properdocs branch July 24, 2026 19:18
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