man1dir=${mandir}/man1
man8dir=${mandir}/man8
+# INSTALL_PROGRAM_STRIP_OPT=-s
+
INSTALL= install -c
INSTALL_SHARE= $(INSTALL) -m 644 -o root -g $(SYSTEM_GROUP)
INSTALL_SCRIPT= $(INSTALL) -m 755 -o root -g $(SYSTEM_GROUP)
-INSTALL_PROGRAM= $(INSTALL_SCRIPT) -s
+INSTALL_PROGRAM= $(INSTALL_SCRIPT) $(INSTALL_PROGRAM_STRIP_OPT)
INSTALL_DIRECTORY= $(INSTALL) -m 2755 -o root -g $(SYSTEM_GROUP) -d