From 643dbb85b0a4ebf2a3a9ae9c683b5aa86d8a2956 Mon Sep 17 00:00:00 2001
From: Erik Auerswald <auerswal@unix-ag.uni-kl.de>
Date: Mon, 24 Jan 2022 20:48:47 +0100
Subject: [PATCH] INSTALL: remove "rman" from prerequisites

Since commit efded91c1d881e6b828503f7bc739710d49836c8 rman is
no longer used to convert the man page to HTML.
---
 INSTALL | 1 -
 1 file changed, 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 0ba69a4..18aa4df 100644
--- a/INSTALL
+++ b/INSTALL
@@ -37,7 +37,6 @@ Prerequisites
   headers are required for ssocr, too, although ssocr does not use X11 itself
 - Build tools, e.g. build-essential on a Debian (or Ubuntu) system.
 - To build a .deb package, you probably need the debhelper package.
-- To create an HTML version of the man page, you need rman.
 
 Additional Makefile Targets
 ---------------------------