From 8f6955bb11231b46d74a10b619d175f0effabf86 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Wed, 13 May 2015 18:04:36 +0200
Subject: Fix conf.py

---
 conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/conf.py b/conf.py
index 9e6d094..277f44f 100644
--- a/conf.py
+++ b/conf.py
@@ -17,7 +17,7 @@ linux_make_args = ['-j8']
 # but only if you don't remove it from boot_command.
 novaboot_args = ['--qemu=qemu-system-x86_64']
 gen_all_solution_oninit = True # If True, all solutions are generated at initialization.
-boot_command = [conf.novaboot, conf.nbscript] + novaboot_args
+boot_command = [novaboot, nbscript] + novaboot_args
 
 picosat_args = []
 ## Programs output show/hide
-- 
cgit v1.2.3