@@ -1,5 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-cat head.tex > $1.tex
-cat $1.pp >> $1.tex
-cat foot.tex >> $1.tex