ignore auxiliary and generated judodb.pdf file