DescriptionCG tweak: some extra info on make doc and doc build times.
Patch Set 1 #
Total comments: 1
Patch Set 2 : Add doc build info via link to in-depth section #
Total comments: 1
Patch Set 3 : Tweak remarks on doc build time in line with Graham's request #Patch Set 4 : Use a @warning{} to highlight the possible length of build time #Patch Set 5 : Use a @warning{} to highlight the possible length of build time #Patch Set 6 : Updates to CG with extra info on make doc and doc build times #MessagesTotal messages: 13
|