Remove unneeded make_index.awk
Add some comments to the awk files