#!/usr/bin/csh -f

set tf = /tmp/ppd.$$

echo -n 'klic '        >  $tf
echo -n 'newtty.kl1 '  >> $tf
echo -n 's2klib.kl1 '  >> $tf
echo -n 'r4rs.kl1 '    >> $tf
echo -n 'kl1main.kl1 ' >> $tf
cat _kl1_sources_      >> $tf
echo    ' '            >>  $tf
chmod 755 $tf
$tf
