From 3007f67183212d6b1553cd7bd683ee669c130c3c Mon Sep 17 00:00:00 2001 From: Petr Baudis Date: Sun, 8 Nov 2009 00:35:37 +0100 Subject: [PATCH] INSTALL: In theory --- INSTALL | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL b/INSTALL index bf0596c..5d00a9c 100644 --- a/INSTALL +++ b/INSTALL @@ -12,7 +12,7 @@ THEN, do make -which will do some preprocessing. +which will do some preprocessing in theory. Now, you can do the installation itself: make install -- 2.11.4.GIT