On Wed, Jan 13, 2021 at 06:05:32PM -0800, Nick Desaulniers wrote: > On Wed, Jan 13, 2021 at 5:19 PM Nick Desaulniers > <ndesaulniers@xxxxxxxxxx> wrote: > > > > Patch looks fine, but `make -j htmldocs` seems to be taking forever > > for me so I can't render it. Is this a known issue? > > > > $ make -j htmldocs A clean "make -skj24 htmldocs" takes me a little over three minutes or so on my Ryzen 9 3900X. Just to give some perspective. > Just took a while, lots of warning spew (but not from this addition AFAICT). > Reviewed-by: Nick Desaulniers <ndesaulnier@xxxxxxxxxx> Thanks for the review! Cheers, Nathan