From a82e0f512eb84e00fba1ce9739a274e5e1a019fb Mon Sep 17 00:00:00 2001
From: Elemer Lelik <erititan@users.noreply.github.com>
Date: Mon, 12 Oct 2020 12:35:07 +0200
Subject: [PATCH] Update README.linux

corrections re: readline
---
 README.linux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/README.linux b/README.linux
index aede66c44..70f403eef 100644
--- a/README.linux
+++ b/README.linux
@@ -119,8 +119,8 @@ JNI := no
 GEN_PDF := no
 CXX := clang++-3.8
 CC := clang-3.8 
-OLD_LIBEDIT = yes # if the first line of /usr/include/editline/readline.h (or /usr/include/readline/readline.h) 
-                  # contains v1.34 or older i.e version of editline is 2.0.53 or older.
+OLD_LIBEDIT = yes  # if the first line of /usr/include/editline/readline.h
+                   # contains v1.34 or older i.e version of editline is 0:53:0 or older.
 
 c) JNI  enabled, gcc compiler (default)
 
@@ -136,9 +136,9 @@ XMLDIR := /usr
 JNI := yes
 GEN_PDF := no
 COMPILERFLAGS += -Wall -Wlogical-op -I/home/<user id>/jdk/include -I/usr/include
-OLD_LIBEDIT = yes # if the first line of /usr/include/editline/readline.h (or /usr/include/readline/readline.h) 
-                  # contains v1.34 or older i.e version of editline is 2.0.53 or older.
-
+OLD_LIBEDIT = yes  # if the first line of /usr/include/editline/readline.h
+                   # contains v1.34 or older i.e version of editline is 0:53:0 or older.
+                   
 d) For Alpine Linux, an appropriate flag has to be set:
 
 :
-- 
GitLab