Re: CVS commit: src/bin/sh

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Sat, 18 Mar 2017 19:29:58 -0400
    From:        christos%zoulas.com@localhost (Christos Zoulas)
    Message-ID:  <20170318232958.BD31717FDA8%rebar.astron.com@localhost>

  | Well, this is how it is for all the rest of the programs; .html are cleaned
  | by cleandir. I think the rationale was that building docs when you are
  | debugging is just a waste of time,

If that was the aim then it failed drastically for sh, the (much bigger)
doc in USD.doc gets cleaned by "make clean" (and regenerated again by
just "make" though probably not if you do "make sh") - compared with that
the sh.html1 file is just noise.

Still, as I said, if this change really offends anyone, feel free to switch
it back.

kre