pp2tex 132 B

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