diff options
| author | Tails developers <amnesia@boum.org> | 2012-05-15 21:50:47 +0200 |
|---|---|---|
| committer | Tails developers <amnesia@boum.org> | 2012-05-16 13:30:41 +0200 |
| commit | 90abd5de80297c3131a7e5b2315d2a880310c71b (patch) | |
| tree | db27fdb09e6e109ae1225c779482f1feac983436 /Rakefile | |
| parent | 49200bce7a6477ed78894e7dadf1675f6d1e2946 (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