Mon Aug 19 16:43:08 BST 2013 Edsko de Vries <edsko@well-typed.com> * Use -threaded for the doc client Ignore-this: 6bdd91218f06fd259e1b0cf2fc5cb20f This seems to be necessary for correct handling of CTRL-C, although I do not understand why. M ./hackage-server.cabal -1 +3 Mon Aug 19 16:49:59 BST 2013 Edsko de Vries <edsko@well-typed.com> * Trivial continuous doc-building script Ignore-this: b2a25cd42dfd7f5e59f695e81dc78cf A ./rundocs.sh Mon Aug 19 17:02:49 BST 2013 Edsko de Vries <edsko@well-typed.com> * Add TODOs Ignore-this: 316c30306e7fb23b4f08d43cbd74156e M ./TODO -2 +20