From 41e5679325306cb9cc4811f2f8fc1f46deb9796f Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 19 May 2024 18:19:24 +0200
Subject: [PATCH] INSTALL: Simplify dependency section.

Lopsub is available as a Debian package these days, so remove the
lopsub download and installation instructions.
---
 INSTALL | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/INSTALL b/INSTALL
index b92a083..e04540f 100644
--- 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
 
-- 
2.39.5