pp2tex.bat 156 B

123456
  1. @echo off
  2. rem msdos batch file
  3. rem Simply paste a header and footer to the program.
  4. type head.tex > %1.tex
  5. type %1.pp >> %1.tex
  6. type foot.tex >> %1.tex