Apply the following patch and regenerate the html manual.  You will see
that the manual doesn't get *re*-generated.  Can someone review the
current rules to DTRT?

--