From b03358e9337ddf22e527b989ea7595ba7f075f28 Mon Sep 17 00:00:00 2001
From: Rusty Russell <rusty@rustcorp.com.au>
Date: Fri, 18 Aug 2023 16:19:16 +0930
Subject: [PATCH] build: have check-manpage.sh ignore options documented as
 deprecated.

These days we sometimes keep docs for deprecated options, so ignore
those.

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
---
 tools/check-manpage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/check-manpage.sh b/tools/check-manpage.sh
index 122765734..6a429b847 100755
--- a/tools/check-manpage.sh
+++ b/tools/check-manpage.sh
@@ -36,7 +36,7 @@ if [ -z "$CMD_OPTNAMES" ]; then
 fi
 
 # Now, gather (long) opt names from man page, make sure they match.
-MAN_OPTNAMES=$(sed -E -n 's,^\* \*\*(--)?([^*/]*)\*\*(/\*\*-.\*\*)?(=?).*,\2\4,p' < "$2" | sort)
+MAN_OPTNAMES=$(grep -vi 'deprecated in' "$2" | sed -E -n 's,^\* \*\*(--)?([^*/]*)\*\*(/\*\*-.\*\*)?(=?).*,\2\4,p'| sort)
 
 # Remove undocumented proprieties, usually these proprieties are
 # under experimental phases.