diff INSTALL.txt @ 416:9f25742b5953 templating

Merge from default branch

--- a/INSTALL.txt	Fri Oct 15 11:59:03 2010 +0100
+++ b/INSTALL.txt	Wed Apr 27 11:33:28 2011 +0100
@@ -2,12 +2,7 @@
 To compile from source
 ----------------------
 
-This file provides various instructions useful when compiling the SV
-libraries from source, but it doesn't have a complete recipe for any
-one platform -- there are too many variables.  However, you can find a
-recipe for one platform (Ubuntu Linux) in the file INSTALL.ubuntu.
-
-To build, run
+To build on a Unix-like system, run
 
 $ ./configure && make