home *** CD-ROM | disk | FTP | other *** search
/ Il CD di internet / CD.iso / INTERNET / HTML / TEX2RTF / SOURCES.ZIP / TOOLS / TCHECK / TCHECK.BAT < prev   
Encoding:
DOS Batch File  |  1994-04-24  |  149 b   |  9 lines
  1. @echo off
  2. if "%1" == "" goto end
  3. echo Checking file %1...
  4. gawk -f check.awk %1
  5. quit
  6. :end
  7. echo Tex2RTF input checker.
  8. echo Usage: tcheck file
  9.