home *** CD-ROM | disk | FTP | other *** search
/ Programmer 7500 / MAX_PROGRAMMERS.iso / CLIPPER / MISC / INTER34C.ZIP / WINHELP.ZIP / POPUPS.BAT < prev    next >
Encoding:
DOS Batch File  |  1993-02-15  |  446 b   |  16 lines
  1. @echo off
  2. if not .%tmp%.==.. goto skip
  3. echo set tmp environment variable and try again
  4. echo eg. set tmp=c:\temp        note: don't add backslash as last char
  5. quit
  6. :skip
  7. @echo on
  8. mawk -f scanshor.awk intrtf.bot
  9. @rem don't worry if you don't find ppscan.bat, it was created by command above
  10. @rem next line needs about 9MB in %tmp%
  11. call ppscan.bat
  12. del mkpp*.awk
  13. del ppscan.bat
  14. @rem next line needs about 15MB in %tmp%
  15. hc31 inter.hpj
  16.