path: root/Rakefile
diff options
authorTails developers <>2012-05-15 21:50:47 +0200
committerTails developers <>2012-05-16 13:30:41 +0200
commit90abd5de80297c3131a7e5b2315d2a880310c71b (patch)
treedb27fdb09e6e109ae1225c779482f1feac983436 /Rakefile
parent49200bce7a6477ed78894e7dadf1675f6d1e2946 (diff)
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