[Rivet] installation

[David Grellscheid]

On 27/01/14 12:57, Andy Buckley wrote:
> Turning off the PDF manual build by default is possible, and perhaps
> would be welcome: what do others think?

I would definitely vote to disable it, or even remove from the tarball.
The go-to manual for me and most users I know is the one on the Rivet
website. _That_ needs to be kept current, then the tarball can become a
lot lighter.

See you,

  David