30 May
2006
30 May
'06
4:35 p.m.
Ah, right. Then it's neither a make or a Makefile¹ bug, but a packaging bug.
¹ Well, it might be a bug in "make export".