[Rivet] problem installing rivet 1.7.0

[Hendrik Hoeth]

Thus spake Hannes Jung (hannes.jung at cern.ch):

> Any idea, what could go wrong there ?

Nope, but with --disable-pdfmanual you can disable the documentation.

-- 
A man without a dream in his heart already has one foot in the grave.