
19 Aug
2013
19 Aug
'13
9:07 a.m.
Mon Aug 19 14:04:49 BST 2013 edsko@well-typed.com * Improve statistics reported by doc builder Ignore-this: f7008bfcd8221e7f4c465aad4189f62e Previous the doc builter reported which packages had their most recent package built (yes/no) and which packages had all versions built (yes/no). However, "did this package version" is not a yes/no question, it is a "yes, it built", "yes, we built, but we failed", or "no, we didn't try yet" question. To monitor progress of the doc builder it is therefore more useful to take this ternary answer into account. M ./BuildClient.hs -45 +78