From 6df19e0cbb3564992abac4aa6ad409ba35ac4700 Mon Sep 17 00:00:00 2001
From: Sander van der Burg <s.vanderburg@tudelft.nl>
Date: Sun, 6 Jul 2008 18:34:03 +0000
Subject: [PATCH] Added disnix

svn path=/nixos/trunk/; revision=12282
---
 system/options.nix | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/system/options.nix b/system/options.nix
index 7c8db46d5e4..44b3c771bf3 100644
--- a/system/options.nix
+++ b/system/options.nix
@@ -1461,8 +1461,15 @@
       };
     };
 
+    disnix = {
+      enable = mkOption {
+        default = false;
+	description = "Whether to enable Disnix";
+      };
+    };
+    
     httpd = {
-
+    
       enable = mkOption {
         default = false;
         description = "