Skip to content

Rename the project from "MkDocs" to "ProperDocs"#12

Merged
oprypin merged 3 commits intomasterfrom
rename
Mar 14, 2026
Merged

Rename the project from "MkDocs" to "ProperDocs"#12
oprypin merged 3 commits intomasterfrom
rename

Conversation

@oprypin
Copy link
Copy Markdown
Member

@oprypin oprypin commented Mar 12, 2026

Almost every instance is replaced:
"MkDocs" -> "ProperDocs"
"mkdocs" -> "properdocs"

This is a simple mass-replacement, no other changes are made. (Deletion of www. is the only other change, I think)

  • Some references, such as references to old versions of MkDocs, are still left alone intentionally. (release-notes.md is not processed)

  • The theme's name is also left alone.


I think this would really benefit from additional review. Most important is to notice places that should not have been renamed, for the above reasons or some other reason.

When reviewing the changes, consider looking at them commit-by-commit, it's probably easier to spot things that way.

@oprypin oprypin force-pushed the rename branch 8 times, most recently from 8ba5884 to 61a380a Compare March 12, 2026 23:22
@oprypin oprypin marked this pull request as ready for review March 13, 2026 19:48
@oprypin oprypin changed the title Rename the project from "mkdocs" Rename the project from "MkDocs" to "MontyDocs" Mar 13, 2026
@oprypin oprypin changed the title Rename the project from "MkDocs" to "MontyDocs" Rename the project from "MkDocs" to "ProperDocs" Mar 14, 2026
oprypin added 3 commits March 14, 2026 14:15
Some references, such as references to old versions of MkDocs, are still left.

docs/about/release-notes.md is not processed at all yet. This is because the historic info probably should still say the previous name. Maybe *some* of it should be changed, but that can be left until later.
Note that some replacements are intentionally skipped - primarily the theme's name.
@oprypin oprypin merged commit 36407a3 into master Mar 14, 2026
16 of 34 checks passed
@oprypin oprypin deleted the rename branch March 14, 2026 13:24
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