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

[graham]

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

https://codereview.appspot.com/6206071/diff/6001/Documentation/included/compile.itexi#newcode646
Documentation/included/compile.itexi:646: easily take an hour or more,
so don't panic if sometimes it seems
I'm not convinced that the added text will help.  How about instead you
change it to

@warning{The first time you run @address@hidden, the process can
easily take an hour or more with not much output on the command-line.}

After that, @command{make...

https://codereview.appspot.com/6206071/