5.7.2 Scripts to create documentation

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