+### Variables: ###
+
+DESTDIR =
+
+### Conditionally set variables: ###
+
+
+### Targets: ###
+
+all: emulator helpview tex2rtf helpgen
+
+install: all install_tex2rtf install_helpgen
+
+uninstall:
+
+install-strip: install install-strip_tex2rtf install-strip_helpgen
+
+clean:
+ rm -rf ./.deps ./.pch
+ rm -f ./*.o
+ (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
+
+emulator:
+ (cd emulator/src && $(MAKE) all)
+
+helpview:
+ (cd helpview/src && $(MAKE) all)
+
+tex2rtf:
+ (cd tex2rtf/src && $(MAKE) all)
+
+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)
+
+
+# Include dependency info, if present:
+@IF_GNU_MAKE@-include .deps/*.d
+
+.PHONY: all install uninstall clean distclean emulator helpview tex2rtf install_tex2rtf install-strip_tex2rtf helpgen install_helpgen install-strip_helpgen