#!/bin/sh

ProgGenTokens.awk $LINKBASE/src/interface/scanner.l > tokens.tex

sed 's/^(\([^)]*\));/\1/g' tokens.tex > d3.tex

sed 's/^\([ \t]*[A-Za-z]*\)\_/\1\\_/' d3.tex > d4.tex


mv d4.tex tokens.tex
rm d3.tex