future proofs: pass actual futures to facilitate composite computations;
removed join_futures -- superceded by higher-level PureThy.force_proofs;
#!/bin/sh
# $Id$
NAME="$1"
makeindex -s nomencl -o "${NAME}.gls" "${NAME}.glo"
./checkglossary "${NAME}.glo"