results.html depends on results/*.txt.
update results.