where is make_index_files.sh

[zhangrenyuuchicago]

where could I find scripts/make_records/make_index_files.sh? Thank you very much.

[mboudiaf]

Hi,

Sorry about that. I added a recipe in the Makefile to produce those index files and forgot to update the README. This should be fixed. Therefore you should be able to obtain those index files using:

make index_files

Please let me know if that solves it