Skip to content

[docs] fix dead links, index pages in navbar (#16095)#16096

Merged
xfournet merged 1 commit into
masterfrom
issues/16095-docs-dead-links
May 21, 2026
Merged

[docs] fix dead links, index pages in navbar (#16095)#16096
xfournet merged 1 commit into
masterfrom
issues/16095-docs-dead-links

Conversation

@labo-flg

@labo-flg labo-flg commented May 20, 2026

Copy link
Copy Markdown
Member

Proposed changes

  • fix dead links
  • fix typos in file names and anchors
  • add missing entries in navbar

Related issues

@labo-flg labo-flg added the filigran team Item from the Filigran team. label May 20, 2026
@labo-flg labo-flg force-pushed the issues/16095-docs-dead-links branch from acbc3d9 to d4e4b76 Compare May 21, 2026 07:54
@xfournet xfournet merged commit 21acd0d into master May 21, 2026
25 checks passed
@xfournet xfournet deleted the issues/16095-docs-dead-links branch May 21, 2026 08:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

filigran team Item from the Filigran team.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[DOC] dead links in the public documentation

4 participants