Add gen-txt-file.pl