1 #!/bin/sh
2 # $Id$
3
4 NAME="$1"
5 makeindex -s nomencl -o "${NAME}.gls" "${NAME}.glo"
6 ./checkglossary "${NAME}.glo"