Ignore tex artefacts.