Making changes to the viff web page

[Thomas P Jakobsen]

Here's a short note on how to update the viff.dk web page (from a
private mail I got from Martin Geisler):

The documentation found under

http://viff.dk/doc/index.html

is built from the doc/ directory in the main VIFF repository. As far as
I remember, this is done by the buildbot, but it seems to be sick at the
moment:

http://buildbot.viff.dk/



That is, to update the viff web page, changes should be made to
http://viff.dk/doc. The buildbot will then (when it's alive) update
the viff.dk project and the web page.


Regards,
Thomas