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>
This commit is contained in:
Rusty Russell 2023-08-18 16:19:16 +09:30
parent 9085293622
commit b03358e933
1 changed files with 1 additions and 1 deletions

View File

@ -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.