From 10b481f2c7fd304dceef4849e28e378288d3bdd2 Mon Sep 17 00:00:00 2001
From: Bram Matthys <syzop@vulnscan.org>
Date: Mon, 13 Mar 2023 09:09:42 +0100
Subject: [PATCH] ./Config: don't use 'more doc/Config.header' but use 'cat',
 it's short enough.

---
 Config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Config b/Config
index 452ef0d07..7a7f9be16 100755
--- a/Config
+++ b/Config
@@ -364,7 +364,7 @@ fi
 clear
 
 if [ -f "doc/Config.header" -a -z "$NOINTRO" ] ; then
-	more doc/Config.header
+	cat doc/Config.header
 	echo ""
 	echo $n "[Press Enter to continue]"
 	read cc