On 2018-01-09, Brian <ad44@cityscape.co.uk> wrote: > > Oh. pdftex is now being fed a latex file, not a plain text file. > Previously: > > > pdftex will actually create a pdf out of a *text file*.... That's right. No contradiction. I just added a data point. -- "Ruling a large nation is like cooking a small fish" - Lao Tzu