>> [ ... ]  now...while we're on the subject of makefiles, maybe
>> someone wouldn't mind (a) telling me where i should file prs for
>> things in etc and
>
>Either "misc" or "install" depending exactly what it's going...

install, i guess...for this case.

>> (b) take a look at misc/11947 on etc/Makefile?
>
>make(1) changed recently to emit warning when a target is defined
>multiple times (when target: and not target::).  Can't tell you
>much more than that without digging further.

etc/Makefile contains:

   .if exists(etc.${MACHINE}/Makefile.inc)
   .include "etc.${MACHINE}/Makefile.inc"
   .endif
   [...]
   .ifndef DESTDIR
   distribution distrib-dirs release snapshot snap_pre snap_md_pre \
   snap_md_post iso-image:
	   @echo setenv DESTDIR before doing that!
	   @false
   .else
   [...]
   .if !defined(RELEASEDIR)
   release snapshot snap_pre snap_md_pre snap_md_post iso-image:
	   @echo setenv RELEASEDIR before doing that!
	   @false
   .else
   [...]
   .endif # RELEASEDIR check

   snap_md_pre:
   # nothing here -- look in the machine-dependent Makefile.inc

   snap_md_post:
   # nothing here -- look in the machine-dependent Makefile.inc

   .endif  # DESTDIR check

so the target snap_md_post ends up being multiply defined.  perhaps
the md Makefile.incs should also be protected via a ifndef/endif set,
or maybe the bottom piece of the snippet above should be moved inside
the RELEASEDIR check?

(i think i'll cc gnatbugs, etc, and bcc current-users)

-- 
|-----< "CODE WARRIOR" >-----|
codewarrior@daemon.org             * "ah!  i see you have the internet
twofsonet@graffiti.com (Andrew Brown)                that goes *ping*!"
andrew@crossbar.com       * "information is power -- share the wealth."