Re: CG tweak: some extra info on make doc and doc build times. (issue 6206071)

[graham]

http://codereview.appspot.com/6206071/diff/1/Documentation/included/compile.itexi
File Documentation/included/compile.itexi (right):

http://codereview.appspot.com/6206071/diff/1/Documentation/included/compile.itexi#newcode464
Documentation/included/compile.itexi:464: or to build only the PDF
documentation,
Don't we have a different place that discusses the doc-related build
stuff?  I could have sworn that we had a dedicated section to this.

If so, perhaps this part should simply be a link to the doc-building
stuff, and put the doc-stage-1 in there?

http://codereview.appspot.com/6206071/