* Makefile (check_public): When rebuilding, make $(ENCHILADA)

as well as 'all', so that the *.txt files are built.