-
Virgile Prevosto authored
i.e. we don't want them to be removed by an over-zealous `make` that considers them as a by-product of `.depend`, which would then require them again and again and again...
a6a214d7
i.e. we don't want them to be removed by an over-zealous `make` that considers them as a by-product of `.depend`, which would then require them again and again and again...