INSTALL: Simplify dependency section.

Lopsub is available as a Debian package these days, so remove the
lopsub download and installation instructions.

diff --git a/INSTALL b/INSTALL
index b92a0836d3d6d96991cbd6623dbcaec656d4a75f..e04540fdf40cf22c3d3291f29813fafbba1ed69a 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -1,10 +1,5 @@
-Besides a working C compiler, gnu m4, gnu make and the
-[lopsub](http://people.tuebingen.mpg.de/maan/lopsub/) library must be
-installed to to build and install this package. Download and install
-lopsub with
-
-               git clone git://git.tuebingen.mpg.de/lopsub
-               cd lopsub && make && sudo make install
+Besides a working C compiler, gnu m4, gnu make and the lopsub library
+must be installed to to build and install this package.
 
 If everything mentioned above is available on your system, type