question about src/etc/Makefile

Hi,

I don't understand why boot/device.hints are installed with
distribute target instead distribution, in the Makefile:
# $FreeBSD: src/etc/Makefile,v 1.313 2003/05/06 07:25:17 dougb Exp $

I build FreeBSD-4.8 with a shell script near like this:
	export DESTDIR=/usr/src/dest/fbsd-48
	export KERNCONF=SMP
	cd /usr/src && make world
	cd /usr/src/etc && make distribution
	cd /usr/src && make buildkernel installkernel

I'll try to do the same thing with FreeBSD-5.1 but buildkernel fails
because make distribution doesn't install boot/device.hints in $DESTDIR.

/usr/sbin/mergemaster use distribution target too:
    { cd ${SOURCEDIR} &&
      case "${DESTDIR}" in
      '') ;;
      *)
      make DESTDIR=${DESTDIR} distrib-dirs
        ;;
      esac
      make DESTDIR=${TEMPROOT} distrib-dirs &&
      make MAKEOBJDIRPREFIX=${TEMPROOT}/usr/obj obj &&
      make MAKEOBJDIRPREFIX=${TEMPROOT}/usr/obj DESTDIR=${TEMPROOT} \
          distribution;} ||

Is-it an error in src/etc/Makefile ? 
Or may I have to use distribute target instead distribution ?


Luc.