-# Quick DER sizes: Sometimes small is bettar
+# Quick DER sizes: Sometimes Small is Better
<img alt="Quick DER logo" src="quick-der-logo.png" style="float: right;"/>
install:
#
- # The hexio submodule did not arrive well in GIT
+ # Installing a good DER dumping utility for developers:
#
- # If you need a good DER dumping utility, check it out yourself:
# https://github.com/vanrein/hexio
#
- @#NOTYET# install -m 0755 hexio/derdump.py "$(PREFIX)/bin/derdump"
+ # This tool will complain about DER errors -- but continue.
+ #
+ install -m 0755 hexio/derdump.py "$(PREFIX)/bin/derdump"
uninstall:
- @#NOTYET# rm -f "$(PREFIX)/bin/derdump"
+ rm -f "$(PREFIX)/bin/derdump"