[PATCH] Define phony make targets as such.

[Thibault Nélis]

On Mon, 2021-02-08 at 17:33 +0300, Maxim Konovalov wrote:
> Ruslan Ermilov is looking at it.  He will come with his comments in
> next several days.

All good; feel free to prioritize as low priority internally.

Ruslan, I just realized I should have used single quotes for the sed
expression. Technically everything is fine even with the $/ sequence
because / is not a valid shell variable identifier and is thus not
substituted (as intended), but anyone reading this (as I did now and as
I should have before sending) might have an unnecessary think about
this. Feel free to change the double quotes into single quotes if you
prefer.

$ echo "$foo"

$ echo '$foo'
$foo
$ echo "$/"
$/
$ $SHELL --version | head --lines=1
GNU bash, version 5.0.17(1)-release (x86_64-redhat-linux-gnu)