diff -r 21274e5950af -r a1f4cb076d2f Makefile
--- a/Makefile	Tue Aug 13 22:14:32 2019 +0200
+++ b/Makefile	Sat Sep 24 16:26:10 2022 +0200
@@ -53,3 +53,5 @@
 install: all
 	cd make; $(MAKE) -f install.mk install
 
+install-bin: all
+	cd make; $(MAKE) -f install.mk install-bin