#!/bin/sh
# encore un sed d' enfer
echo -n "\begin{theindex">$1.idx.tex
sed -e '/\(.*{\)\(\\verb"\)\(.*\)\(".*\)/ s//\1\3 \2\4/' $1.idx | \
sed -e '/}/ s//  }/' | \
sort -uf | \
sed -e '/\(.*{\)\(.*\)\(\ \\verb""\)\(.*\)/ s//\1\\verb"\2"\4/' | \
sed -e '/  }/ s//}/' | \
awk_index >> $1.idx.tex
echo "\end{theindex}
">>$1.idx.tex
