> Haven't they been already downloaded for HEAD? Hm. They were downladed for HEAD indeed. Sorry, my fault, I was sure that I'll get message saying "already got blah blah". > BTW, storing plain text files in distfiles should be avoided. True. I'll move them to SOURCES. M.