From 578fdd841ae5aedbf38b80ae794828c825cc4055 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 25 May 2025 19:29:57 +0200
Subject: [PATCH] INSTALL: Remove installation instructions of lopsub.

These days, people should just install the Debian package. If lopsub is not
installed, the configure script prints detailed instructions about how to
obtain lopsub with and without apt.
---
 INSTALL | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/INSTALL b/INSTALL
index cabeb10f..b001dd08 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,11 +1,5 @@
 Any knowledge of how to work with mouse and icons is not required.
 
-Installing lopsub
-~~~~~~~~~~~~~~~~~
-	git clone https://git.tuebingen.mpg.de/lopsub
-	cd lopsub && make && sudo make install
-	(see https://people.tuebingen.mpg.de/maan/lopsub/)
-
 Installing osl
 ~~~~~~~~~~~~~~
 	git clone https://git.tuebingen.mpg.de/osl
-- 
2.39.5