- @echo cd tex2rtf\src >tex2rtf.bat
- @echo $(MAKE) -f makefile.bcc $(MAKEARGS) clean >>tex2rtf.bat
- call tex2rtf.bat
- @del tex2rtf.bat
- @echo cd HelpGen >helpgen.bat
- @echo $(MAKE) -f makefile.bcc $(MAKEARGS) clean >>helpgen.bat
- call helpgen.bat
- @del helpgen.bat
+ @echo cd ifacecheck\src >ifacecheck.bat
+ @echo $(MAKE) -f makefile.bcc $(MAKEARGS) clean >>ifacecheck.bat
+ call ifacecheck.bat
+ @del ifacecheck.bat