more pedantic observations about make docs

[Robert P. J. Day]

  Section 3.4, "The Variable MAKEFILES", 

"If the environment variable MAKEFILES is defined, make considers its
value as a list of names (separated by whitespace) of additional makefiles
to be read before the others."

that's not particularly precise.  will those makefiles be read 
*immediately* upon entry to the makefile (what i assume), or simply 
"before" other makefile includes, which technically leaves some leeway and
definitely doesn't mean the same thing.

i told you it was pedantic.

rday