On Mon, Apr 01, 2013 at 01:14:20PM +0000, Ansgar Burchardt wrote: > Hi, > > I changed the section for rt4-doc-html to doc (from misc). Thanks, updated in git. -- Dominic Hargreaves | http://www.larted.org.uk/~dom/ PGP key 5178E2A5 from the.earth.li (keyserver,web,email)