[Rivet] rivet-mkhtml output requires network access

[David Grellscheid]

On 03/11/2015 15:30, David Bjergaard wrote:
> it works fine to have the url point to a local copy (say in the
> ${PREFIX}/share folder).

Sure it does, but I'm not shipping 50 MB of Mathjax with 2.5 MB of Rivet :-)

   David