restart point vs restartpoint in the docs
While doing something else I noticed that we have 25 uses of "restartpoint" and
three "restart point":
$ git grep -i "restartpoint[s]\?[ .,;]" doc/ | wc -l
25
$ git grep -i "restart point[s]\?[ .,;]" doc/ | wc -l
3
Any objection to applying the attached to make those three "restartpoint" to
keep the docs consistent?
--
Daniel Gustafsson
Attachments:
restartpoint.diffapplication/octet-stream; name=restartpoint.diff; x-unix-mode=0644Download+3-3
On Tue, 2025-12-02 at 10:36 +0100, Daniel Gustafsson wrote:
While doing something else I noticed that we have 25 uses of "restartpoint" and
three "restart point":$ git grep -i "restartpoint[s]\?[ .,;]" doc/ | wc -l
25
$ git grep -i "restart point[s]\?[ .,;]" doc/ | wc -l
3Any objection to applying the attached to make those three "restartpoint" to
keep the docs consistent?
No objection - I think that is a clear improvement.
Yours,
Laurenz Albe
