From 1220852f301cda86f2d8ab022cef75d43525dffd Mon Sep 17 00:00:00 2001
From: Petr Baudis <petr.baudis@novartis.com>
Date: Thu, 31 Jul 2008 18:04:28 +0200
Subject: [PATCH] INSTALL: Fix $GIROCCO_CONF name

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 9f1ec9e..9f74ac9 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,7 +1,7 @@
 FIRST, you need to configure Girocco:
 	* Edit Girocco/Config.pm
 	* Alternatively to above, copy over to and edit Girocc/Config2.pm and
-	  run make and make install with GIROCCO_CONFIG=Girocco::Config2
+	  run make and make install with GIROCCO_CONF=Girocco::Config2
 	* In case you use Group permission control, edit jobs/fixupcheck.sh
 
 Make sure you have the submodules checked out:
-- 
2.11.4.GIT