install-infra: installdirs-infra
$(INSTALL_PROGRAM) $(addprefix infra/, $(INFRA_PROGRAMS)) \
$(DESTDIR)$(bindir)
$(INSTALL_PROGRAM) $(addprefix infra/, $(INFRA_EXAMPLES)) \
$(DESTDIR)$(infraexamplesdir)
install-infra: installdirs-infra
$(INSTALL_PROGRAM) $(addprefix infra/, $(INFRA_PROGRAMS)) \
$(DESTDIR)$(bindir)
$(INSTALL_PROGRAM) $(addprefix infra/, $(INFRA_EXAMPLES)) \
$(DESTDIR)$(infraexamplesdir)