Skip to content

docs: remove orphaned translated manual pages#2165

Merged
dscho merged 2 commits into
git:gh-pagesfrom
dscho:remove-orphan-translated-pages
May 19, 2026
Merged

docs: remove orphaned translated manual pages#2165
dscho merged 2 commits into
git:gh-pagesfrom
dscho:remove-orphan-translated-pages

script: have update-docs.rb prune orphaned translated outputs

20fd12a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

5 notices
build
succeeded May 17, 2026 in 5m 53s