doc/man1: Rebuild man pages (!1942) · Merge requests · Tooling / lisa · GitLab

GitLab Maintenance scheduled for Thursday, 18th December 2025, from 7:00 AM to 10:00 AM BST. GitLab will be in read-only mode and experience short periods of complete downtime (up to 20 minutes) during this window.

Douglas Raillard requested to merge github/fork/douglas-raillard-arm/_home_pr90183 into master Feb 13, 2023

Rebuild man pages with Sphinx 6.1.3 to avoid the GitHub CI thinking the man pages need to be rebuilt.