[PATCH v1] INSTALL: remove TODO section

[Olaf Hering <olaf@xxxxxxxxx>]

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>
---
 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