Skip to content

Conversation

@flora-hofmann-frequenz
Copy link
Collaborator

I think this is why there is no index.html and the site does not get displayed?

Signed-off-by: Flora <[email protected]>
@github-actions github-actions bot added the part:tooling Affects the development tooling (CI, deployment, dependency management, etc.) label May 16, 2025
@flora-hofmann-frequenz flora-hofmann-frequenz added the cmd:skip-release-notes It is not necessary to update release notes for this PR label May 16, 2025
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR updates the MkDocs configuration to change how the mike plugin generates the version alias, aiming to restore the missing index.html output.

  • Switched mike plugin’s alias_type from redirect to symlink
Comments suppressed due to low confidence (2)

mkdocs.yml:93

  • [nitpick] If the site still doesn’t emit an index.html, consider adding use_directory_urls: false or explicitly defining site_dir in your mkdocs.yml to control where and how files are generated.
- mike:

mkdocs.yml:96

  • Ensure the alias_type line is indented exactly two levels under the - mike: entry (without a leading dash) so it’s recognized as the plugin’s setting rather than a separate list item.
alias_type: symlink

@flora-hofmann-frequenz flora-hofmann-frequenz merged commit 9f1d12d into frequenz-floss:v0.x.x May 16, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cmd:skip-release-notes It is not necessary to update release notes for this PR part:tooling Affects the development tooling (CI, deployment, dependency management, etc.)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants