+### Variables: ###
+
+DESTDIR =
+
+### Conditionally set variables: ###
+
+
+### Targets: ###
+
+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)
+
+clean:
+ rm -rf ./.deps ./.pch
+ rm -f ./*.o
+ (cd configtool/src && $(MAKE) clean)
+ (cd emulator/src && $(MAKE) clean)
+ (cd helpview/src && $(MAKE) clean)
+ (cd tex2rtf/src && $(MAKE) clean)
+ (cd HelpGen && $(MAKE) clean)
+
+distclean: clean
+ rm -f config.cache config.log config.status bk-deps bk-make-pch shared-ld-sh Makefile
+
+configtool:
+ (cd configtool/src && $(MAKE) all)
+
+emulator:
+ (cd emulator/src && $(MAKE) all)
+
+helpview:
+ (cd helpview/src && $(MAKE) all)
+
+tex2rtf:
+ (cd tex2rtf/src && $(MAKE) all)
+
+helpgen:
+ (cd HelpGen && $(MAKE) all)
+
+
+# Include dependency info, if present:
+@IF_GNU_MAKE@-include .deps/*.d
+
+.PHONY: all install uninstall clean distclean configtool emulator helpview tex2rtf helpgen