Hello! Hans Aberg <[email protected]> writes:
> The bug is this: first > make > make pdf > This produces the PDF. Then > make clean > This takes away the pdf. Then try to repeat > make pdf > This fails. I think commit 41d82ac9904c883a0c281cd1a89c03d9d968a801 fixes this. Thanks, Ludo’.
