#!/bin/sh
#
DUMP="textdump"
NAMES="names.index"
echo -n "Where should textdump be located? [\"../world\"] "
read LOC
if [ X$LOC = X ]; then
LOC=../world
fi
DUMP=${LOC}/${DUMP}
echo Dumping in \"${DUMP}\"
cat ${NAMES} > ${DUMP}
for f in `cut -d' ' -f2 ${NAMES}`; do
echo \$$f
cat ${f}.coldc >> ${DUMP}
done
exit