
29 Nov
2013
29 Nov
'13
10:51 a.m.
On 29 November 2013 09:36, Paul A. Bristow
PS (And I fear there are going to be lots more things to fix to get the (re-)generation of documentation working?)
I'm going to try to build the documentation from git this weekend. I'll write about it on the documentation list.