>> There are six empty PNG files in `Documentation/pictures`: >> nav1-active.png >> nav1-bg.png >> nav1-hover.png >> nav2-active.png >> nav2-bg.png >> nav2-hover.png >> Is this really correct? > > I don't think it's correct. If you read here: > > https://gitlab.com/lilypond/lilypond/-/issues/4258 > > Paul passed the patches to James as he could not push. Perhaps > something went wrong. Correct images are still available on > Rietveld: > > https://codereview.appspot.com/193140043 > > Can you take care of it?
Done: https://gitlab.com/lilypond/lilypond/-/merge_requests/569 Werner
