: in /usr/src and the stuff used to generate it, and other versions (html
   : etc) in /usr/share/doc/building (or something), available to those who
   : need to modify it, but out of the way.
   
   Now that idea's usable; I could find another path for it.  I'll ponder it.
   I'm not particularly keen on putting it somewhere that would imply that it
   gets installed in /usr/share, as the document is very much tied to the
   source tree (and not the target binary system).


that's why i suggested (a new) src/docs...