bin-files/pretty-print-code

#!/bin/sh

if [ $# -lt 3 ] ; then
    echo "pretty-print-code lang output input"
    exit
fi

LANGUAGE=$1
shift
OUTPUTPDF=$1
shift
INPUT=$1
shift

OUTPUTPS=$(basename $OUTPUTPDF .pdf).ps

a2ps -1rCB -l 120 --center-title='$n' --right-footer="%Q" --borders=no -E$LANGUAGE -o $OUTPUTPS $INPUT
ps2pdf $OUTPUTPS
rm $OUTPUTPS