|author||Tails developers <email@example.com>||2012-05-15 21:50:47 +0200|
|committer||Tails developers <firstname.lastname@example.org>||2012-05-16 13:30:41 +0200|
vagrant: Build documentation before source copy
Building the massive Tails website from scratch takes a while. Instead of doing so on every build, we do it in the source checkout, before copying the source to the temporary build tree. As ikiwiki knows how to perform incremental refresh, this really speeds up subsquent build times.
Diffstat (limited to 'Rakefile')
0 files changed, 0 insertions, 0 deletions