diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-02-22 12:27:25 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-02-22 12:27:25 +0100 |
| commit | ddc58e789636e1b94149c342575d92583251fbf6 (patch) | |
| tree | 2b06967dda7120ca7e2c78716d711d399e9ad4a9 /doc/manual/manual.xml | |
| parent | 6964131cd716b2ccf9d1f0a817b5cac483f87a9b (diff) | |
Enable sandbox builds on Linux by default
The overhead of sandbox builds is a problem on NixOS (since building a
NixOS configuration involves a lot of small derivations) but not for
typical non-NixOS use cases. So outside of NixOS we can enable it.
Issue #179.
Diffstat (limited to 'doc/manual/manual.xml')
| -rw-r--r-- | doc/manual/manual.xml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index b5a6af7d0..b408b6817 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -16,12 +16,10 @@ </author> <copyright> - <year>2004-2017</year> + <year>2004-2018</year> <holder>Eelco Dolstra</holder> </copyright> - <date>November 2014</date> - </info> <!-- |