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.

diff --git a/INSTALL b/INSTALL
index cabeb10ff0976c007003eb46222c883ce1b7b4b5..b001dd0817f045fdca02f03263d2f751ec4ce6e5 100644 (file)
--- 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