genindex.sh: chmod +x