Using make with docs

[David T.]

> On Feb 7, 2017, at 11:59 AM, Chris Good <chris.good at ozemail.com.au> wrote:
> Hi David T,
> 
> I had made some changes to the Documentation Update Instructions sections
> dealing with "make check" + "make html" to make it clearer that these
> commands should be run from within the build directory structure.
> Feel free to improve further if you think necessary.
> 
> I'll say again, IMHO I think the instructions re setting up the build system
> belong in this page. Maybe grouping them under a new heading, something like
> "Build System One-Time Setup", would be a slight be an improvement.
> 
> Regards, Chris Good

OK. The directions on make are getting better. 

You and I simply disagree on the overall content of this page.

David