#!/bin/csh set main=`echo $1 | sed s/\.nsy//1 ` if (!(-f $main.nsy) ) then echo Fichier $main.nsy inexistant exit -1 endif echo Fichier traité : $main set separateur="SEP" set tmp1 = /tmp/cletri.$$ set tmp2 = /tmp/symliste.$$ echo Formatage du fichier $main.nsy -> $main.sym # Formater les entrees en format tableau latex # Trier en eliminant les doublons echo "Création de la clé de tri ..." cat $main.nsy | awk -F$separateur '{ printf "%s SEP\n",$2}' | sed 's/\\[a-zA-Z ]*{\(.*\)}/\1/g' > $tmp1 paste -d " " $tmp1 $main.nsy | sed "s/\\varepsilon/\\eps/g" | sort -d -u > $tmp2 rm -f $tmp1 echo Symboles principaux ... echo "\\titremainsym & & \\vspace{6pt} \\\\" > $main.sym cat $tmp2 | awk -F$separateur '{ if($2==" NORM ") printf "$%s$ & %s & %s \\\\ \n",$3,$4,$5}' >> $main.sym echo Symboles grecs ... if ( `grep "^GREC" ${main}.nsy | wc -l` != 0 ) then echo "\\vspace{6pt} \\titregrecsym & & \\vspace{6pt} \\\\" >> $main.sym cat $tmp2 | awk -F$separateur '{ if($2==" GREC ") printf "$%s$ & %s & %s \\\\ \n",$3,$4,$5}' >> $main.sym endif echo Indices ... if ( `grep "^INDICE" ${main}.nsy | wc -l` != 0 ) then echo "\\vspace{6pt} \\titreindicesym & & \\vspace{6pt} \\\\" >> $main.sym cat $tmp2 | awk -F$separateur '{ if($2==" INDICE ") printf "\\textit{%s} & %s & %s \\\\ \n",$3,$4,$5}' >> $main.sym endif echo Exposants ... if ( `grep "^EXPOSANT" ${main}.nsy | wc -l` != 0 ) then echo "\\vspace{6pt} \\titreexposantsym & & \\vspace{6pt} \\\\" >> $main.sym cat $tmp2 | awk -F$separateur '{ if($2==" EXPOSANT ") printf "%s & %s & %s \\\\ \n",$3,$4,$5}' >> $main.sym endif echo OK. rm -f $tmp2