<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2016-01-20 10:11 GMT+01:00 Mikhail Glushenkov <span dir="ltr"><<a href="mailto:mikhail.glushenkov@gmail.com" target="_blank">mikhail.glushenkov@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Those tickets are about missing docs, not missing checks of manually<br>
uploaded docs.<br></blockquote><div> </div></div><div class="gmail_extra"><div class="gmail_quote">Ah, OK, then we misunderstood each other. My point is: If doc generation actually worked on Hackage, the manual upload could be disabled immediately, I see it only as a fragile workaround, so there is no point in opening a ticket for improving that when we already have tons of tickets for the *real* problem (which somehow seems to be ignored for ages). </div><br></div><div class="gmail_extra">Cheers,</div><div class="gmail_extra">   S.</div></div></div>