Re: [Tails-dev] "rake build" fails

intrigeri:
> The funny thing is that it's not needed anymore (see recent email
> about ikiwiki on tails-dev),

Seems to be this one:
https://mailman.boum.org/pipermail/tails-dev/2012-June/001331.html

> but the Vagrant stuff was not
> updated yet. Feel free to update it so that it uses ikiwiki from
> current Debian testing/unstable (>= 3.20120516), instead of building
> its own.

Am I correct that this file has to be modified?
/vagrant/provision/setup-tails-builder

Cheers,
Andreas