- rm -f configure config.cache config.log config.status bk-deps bk-make-pch shared-ld-sh Makefile
-
-configtool:
- (cd configtool/src && $(MAKE) all)
+ rm -f config.cache config.log config.status bk-deps bk-make-pch shared-ld-sh Makefile
+ (cd emulator/src && $(MAKE) distclean)
+ (cd helpview/src && $(MAKE) distclean)
+ (cd tex2rtf/src && $(MAKE) distclean)
+ (cd HelpGen/src && $(MAKE) distclean)