+install_tex2rtf:
+ (cd tex2rtf/src && $(MAKE) install)
+
+install-strip_tex2rtf:
+ (cd tex2rtf/src && $(MAKE) install-strip)
+
+helpgen:
+ (cd HelpGen && $(MAKE) all)
+
+install_helpgen:
+ (cd HelpGen && $(MAKE) install)
+
+install-strip_helpgen:
+ (cd HelpGen && $(MAKE) install-strip)