Skip to content

[Doc] Fix documentation build#10644

Merged
slax57 merged 1 commit into
masterfrom
fix-documentation-build
Apr 7, 2025
Merged

[Doc] Fix documentation build#10644
slax57 merged 1 commit into
masterfrom
fix-documentation-build

Conversation

@djhi
Copy link
Copy Markdown
Contributor

@djhi djhi commented Apr 4, 2025

Problem

For some reason, the way Jekyll or one of its dependencies resolve relative includes has changed. This makes the build fails on GitHub actions.

Solution

Move the navigation.html file to the _includes directory.

How To Test

  • make doc
  • it should start the server

Additional Checks

  • The PR targets master for a bugfix or a documentation fix, or next for a feature

@slax57 slax57 added this to the 5.7.2 milestone Apr 7, 2025
@slax57 slax57 merged commit 5032e72 into master Apr 7, 2025
16 checks passed
@slax57 slax57 deleted the fix-documentation-build branch April 7, 2025 10:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

RFR Ready For Review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants