<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2017-03-17 22:29 GMT+01:00 Clinton Mead <span dir="ltr"><<a href="mailto:clintonmead@gmail.com" target="_blank">clintonmead@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div>Doc building didn't work for me about two weeks ago, although I only waited for above half an hour. Have things improved since then, or was I just not patient enough? (these are for docs that take seconds to build locally)</div></div></blockquote><div><br></div><div>In the past it took several hours to build the docs, but I've got no recent numbers. How long it takes locally is largely irrelevant, the main problem on Hackage seemed to be the scheduling of the doc building task (or the absence of it ;-)...</div><div><br></div><div>Cheers,</div><div>   S.</div></div></div></div>