Re: [PATCH v1] INSTALL: remove TODO section

[Wei Liu <wl@xxxxxxx>]

On Fri, May 29, 2020 at 03:53:03PM +0200, Olaf Hering wrote:
> The default value '/' for DESTDIR is unusual, but does probably not hurt.
> 
> Fixes commit f2b40dababedcd8355bf3e85d00baf17f9827131
> Fixes commit 8e986e5a61efeca92b9b268e77957d45d8316ee4
> 
> Signed-off-by: Olaf Hering <olaf@xxxxxxxxx>

Acked-by: Wei Liu <wl@xxxxxxx>

Based on the fact that you're the original author of this documentation.
:-)

Cc Paul.

> ---
>  INSTALL | 7 -------
>  1 file changed, 7 deletions(-)
> 
> diff --git a/INSTALL b/INSTALL
> index 72dc4b67dd..0d3eb89f02 100644
> --- a/INSTALL
> +++ b/INSTALL
> @@ -365,12 +365,5 @@ make XEN_TARGET_ARCH=arm64 
> CROSS_COMPILE=aarch64-linux-gnu- \
>          DESTDIR=/some/path install
>  
>  
> -TODO
> -====
> -
> - - DESTDIR should be empty, not "/"
> - - add make uninstall targets
> - - replace private path variables as needed (SBINDIR/sbindir)
> - - ...
>  
>  # vim: tw=72 et