doc: Update the name of the documentation (!873) · 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/_pr135 into master Apr 15, 2019

The rst documentation now includes much more than just the API, so let's rename the front-page title accordingly.