mirrors.xml deleted by make clean

Sun Apr 23 23:08:05 UTC 2006

Every time I make a "make clean" under /usr/doc, /usr/doc/share/sgml/mirrors.xml is deleted causing the failure of a subsequent make.
Is it the correct behaviour?

To reproduce
cd /usr/doc
make clean
ls /usr/doc/share/sgml/mirrors.xml

Updating the docs tree with cvsup, the file is downloaded again, even if the tree has been updated immediately before the "make clean"

FreeBSD 5.5-PRERELEASE #0: Thu Feb 16 18:14:11 CET 2006
root at daemonette.localdomain:/usr/obj/usr/src/sys/DAEMONETTE