Perry E. Metzger <perry@wasabisystems.com> wrote on Fri, 30 Nov 2001
at 21:37:13 -0500 in <87zo53fyxy.fsf@snark.piermont.com>:

> > > You should probably make that MKTOC based on precedent.
> > 
> > Hmm. Perhaps so. OK.
> > 
> > > Also it should be documented in BUILDING.
> > 
> > Why? It's only necessary if you want to NOT build the table of contents.
> 
> We document stuff like MKMAN, MKSHARE, etc, which are only used NOT to
> build things. This is very similar.

I'm finding myself less and less convinced:

  a) BUILDING is about global options to the tree. This is a particular
     option to a particular Makefile.inc and I'm not sure it belongs there.
     Just like we don't document BOOTCODE in distrib/i386/floppies/fdset-
     common/Makefile.inc in BUILDING.
  b) You would never want to execute a "make build" with MKTOCS=no. It
     would only be used if you're debugging the install notes.

So for those reasons, I don't think it belongs in BUILDING. But I think
Todd should tell me if I'm confused. Todd?

--jhawk