+ (cd HelpGen/src && $(MAKE) install-strip)
+
+ifacecheck:
+ (cd ifacecheck/src && $(MAKE) all)
+
+install_ifacecheck:
+ (cd ifacecheck/src && $(MAKE) install)
+
+uninstall_ifacecheck:
+ (cd ifacecheck/src && $(MAKE) uninstall)
+
+install-strip_ifacecheck:
+ (cd ifacecheck/src && $(MAKE) install-strip)