From ddc58e789636e1b94149c342575d92583251fbf6 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Thu, 22 Feb 2018 12:27:25 +0100
Subject: 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.
---
 doc/manual/manual.xml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'doc/manual/manual.xml')

diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index b5a6af7d0c3b..b408b6817727 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>
 
   <!--
-- 
cgit 1.4.1