Blame | Last modification | View Log | Download | RSS feed
#!/bin/sh echo -n $1 > _temp.awk cat rule.awk >> _temp.awk cat header.tex expand -8 $2 | awk -f _temp.awk cat footer.tex
#!/bin/sh
echo -n $1 > _temp.awk
cat rule.awk >> _temp.awk
cat header.tex
expand -8 $2 | awk -f _temp.awk
cat footer.tex