Skip to content
  • Tails developers's avatar
    vagrant: Build documentation before source copy · 90abd5de
    Tails developers authored
    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.
    90abd5de