tools: Add lisa-doc-build (!1088) · 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/_pr325 into master Sep 19, 2019

Move doc/pedantic_build.sh to tools/lisa-doc-build
Update the documentation/man page to reference lisa-doc-build
Slightly improve lisa-doc-build by allow running it from anywhere