Skip to content

Conversation

@tdgroot
Copy link
Member

@tdgroot tdgroot commented Aug 19, 2025

The documentation name has been changed from docs to documentation recently, so has the resulting name of the manpage file.

The documentation name has been changed from docs to documentation
recently, so has the resulting name of the manpage file.
@github-actions
Copy link
Contributor

Acceptance server is available at https://docs-eph5slf3m.hypernode.io.

@tdgroot tdgroot merged commit c1d35f4 into master Aug 19, 2025
9 checks passed
@tdgroot tdgroot deleted the fix_build_manpages branch August 19, 2025 12:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants