dropped the tex file

reason: it's generated.  it's not an artefact of imediate use