Removed lingering dependency on hexio (in tool/Makefile, un/install)

diff --git a/tool/Makefile b/tool/Makefile
index e514e0e..ca67974 100644 (file)
--- a/tool/Makefile
+++ b/tool/Makefile
@@ -3,15 +3,6 @@ all:
 clean:
 
 install:
-       #
-       # Installing a good DER dumping utility for developers:
-       #
-       # https://github.com/vanrein/hexio
-       #
-       # This tool will complain about DER errors -- but continue.
-       #
-       [ -r hexio/derdump.py ] && install -m 0755 hexio/derdump.py "$(DESTDIR)$(PREFIX)/bin/derdump"
 
 uninstall:
-       rm -f "$(DESTDIR)$(PREFIX)/bin/derdump"