pp2tex 130 B

12345
  1. #!/bin/sh
  2. # Simply paste a header and footer to the program.
  3. cat head.tex > $1.tex
  4. cat $1.pp >> $1.tex
  5. cat foot.tex >> $1.tex