+all: configtool emulator helpview tex2rtf helpgen
+
+install: all
+ (cd tex2rtf/src && $(MAKE) install)
+ (cd HelpGen && $(MAKE) install)
+
+uninstall:
+
+install-strip: install
+ (cd tex2rtf/src && $(MAKE) install-strip)
+ (cd HelpGen && $(MAKE) install-strip)