#!/bin/sh

rm -f textdump
for i in `cat src/INDEX`; do
    echo "src/$i..."
    cat src/$i >> textdump
done