Changed method of formatting recipe files.
They are no longer .tex files, now they are simpler and
turned into tex with mkbook.py