removed obsolete theorems;
handle generic XML markup as well (plain <markup> instead of <... class=markup>);
misc tuning/update according to Pure/Generic/markup.ML;
#!/bin/sh
# $Id$
NAME="$1"
makeindex -s nomencl -o "${NAME}.gls" "${NAME}.glo"
./checkglossary "${NAME}.glo"