patch for the 2.20 branch (Changes manual)

Hi I don't think these changes need a full review and I don't have time to go through it anyway. So find attached a patch to fix two minor issues. It applies to the stable/2.20 branch. Best Federico >From 60901cc59247ac856b4458b43e8d153a73b30d36 Mon Sep 17 00:00:00 2001 From: Federico Bruni

Re: bad description of -dcrop

"all the music in a single page output file" is correct, as it is the cropped eps/pdf files that we're talking about, which is not separated by page. 2018-02-27 3:25 GMT-04:00 Knut Petersen : > Hi Federico, Étienne! > > This is perfect! > > > I suggest this