Documentation editor’s edit/compile cycle

To work on a manual, do the following


LilyPond — Contributor’s Guide v2.25.8 (development-branch).