for file in `cat o`
do
   nom=`echo $file | sed 's/.html//g' | sed 's/config_//g'`
   nom=$nom"_title"
   echo "making $file --- $nom ..."
   echo "<b>&nbsp; STTA <exec \$text{$nom}>: </b>">$file
   echo "&nbsp;<i> .</i><br>">>$file
done
