20 Jan
2016
20 Jan
'16
5:45 a.m.
2016-01-20 10:11 GMT+01:00 Mikhail Glushenkov
Those tickets are about missing docs, not missing checks of manually uploaded docs.
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). Cheers, S.