mike
mike copied to clipboard
jimporter
Manage multiple versions of your MkDocs-powered documentation via Git
Hello, I am using pages in github enterprise, when adding a new version to my documentation via acions(it is triggered by pushing/commiting to the docs folder in the main branch....
After #92 is closed, symlinks will be the default way of representing aliases. It would be nice if the `set-default` redirect could use this too, but it will probably take...
Hi, Thanks for the great tool ! Is there a way to remain on the current page when switching version ? Example, when I'm on https://megalinter.github.io/v5.0.5/all_linters/ , I would like...
Currently, there's no 404 page (since MkDocs' `404.html` ends up in a subdirectory). We should fix this and possibly include some basic logic to redirect users to the right page.
Sometimes the mkdocs executable is not called `mkdocs`
It would be nice to generate [sitemap index](https://developers.google.com/search/docs/crawling-indexing/sitemaps/large-sitemaps) that will reference `sitemap.xml` for all available versions. Right now you have to either specify sitemaps for each versions manually. If that...
In light of Github cofounder defunkt being (temporarily) banned from Github, I think it's time to ensure that users of mike can easily migrate to other Git forges. No one...
# Summary After running a pipeline which builds a site using Material for MkDocs and mike, all redirects are gone (the general URL for docs doesn't work, e.g. `https://my.docs.com`). The...
In order to reduce the need for adding new features directly into mike, we could support a simple plugin architecture like MkDocs. While you can do most of the stuff...