Re: [PATCH] doc: add default values of install variables

quoted

The variables DESTDIR and prefix are used with "make install"
to copy the files in $DESTDIR$prefix.
Their default values will be shown when calling "make help".

Signed-off-by: Thomas Monjalon <redacted>

Acked-by: John McNamara <redacted>

Applied