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