autotest/virt-test — pull request #1645 by lmr (2014-05-02 15:46:00+00:00)
Title: Update tools

Now let's try to build documentation as a CI test.