docs for 0.93

no -dev in release

version

added manpage for release package

Generated docs

Arghhhh 0.13 is broken

Recreated the manual and prepared release of version 0.10.1.

Regenerate manual

Updated PDF manual, ready for release.

Updates