Re: who needs script `update-patch-version`?

[Werner LEMBERG]

>> Is there still any benefit in using the
>> `scripts/auxiliar/update-patch-version` script as described in the
>> Contributor Guide?  It seems to me that this and the related
>> documentation should be simply deleted.
> 
> I don't, and if need be we can run the single command:
>  $ git grep --name-only $1 | xargs sed -i -e s/$1/$2/g

Indeed, so I'm going to remove it (in a separate commit).  If
necessary, it can be easily reverted.

>> Right now I'm completely revising `programming-work.itexi`, so I
>> can take care of that, too.
> 
> It would be great if you can structure the revision as incremental
> updates and not as a big dump. Those are quite tedious to review and
> usually take much longer to go through...

Unfortunately, this is next to impossible since there are so many
changes.  I will provide a PDF that holds the changed pages so that
you and others can simply read what's written there, comparing it with
the current version of the Contributor guide if necessary.

I can also split up the commits into subchapter by subchapter, if that
helps.


    Werner