the manual is html... it would be good to put it on a web server somewhere.
Ideally we should update the online version whenever we update the docs that we
ship.
Original issue reported on code.google.com by andy.gal...@gmail.com on 3 Jan 2014 at 6:58
Original issue reported on code.google.com by
andy.gal...@gmail.com
on 3 Jan 2014 at 6:58