From 3fa62c3ac510f163c557e864ed462e5b3bf4811b Mon Sep 17 00:00:00 2001 From: Joe Testa Date: Wed, 16 Oct 2024 16:23:20 -0400 Subject: [PATCH] Fixed man page parsing error. (#301) --- add_builtin_man_page.sh | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/add_builtin_man_page.sh b/add_builtin_man_page.sh index 0c0a9a59..4e16dcc7 100755 --- a/add_builtin_man_page.sh +++ b/add_builtin_man_page.sh @@ -111,18 +111,9 @@ echo "Processing man page at ${MAN_PAGE} and placing output into ${GLOBALS_PY}.. # * 'MAN_KEEP_FORMATTING' preserves the backspace-overwrite sequence when # redirected to a file or a pipe. # * sed converts unicode hyphens into an ASCI equivalent. -# * The 'ul' command converts the backspace-overwrite sequence to an ANSI -# escape sequence. Not required under Cygwin because man outputs ANSI escape -# codes automatically. echo BUILTIN_MAN_PAGE = '"""' >> "${GLOBALS_PY}" - -if [[ "${PLATFORM}" == CYGWIN* ]]; then - MANWIDTH=80 MAN_KEEP_FORMATTING=1 man "${MAN_PAGE}" | sed $'s/\u2010/-/g' >> "${GLOBALS_PY}" -else - MANWIDTH=80 MAN_KEEP_FORMATTING=1 man "${MAN_PAGE}" | ul | sed $'s/\u2010/-/g' >> "${GLOBALS_PY}" -fi - +MANWIDTH=80 MAN_KEEP_FORMATTING=1 man "${MAN_PAGE}" | sed $'s/\u2010/-/g' >> "${GLOBALS_PY}" echo '"""' >> "${GLOBALS_PY}" echo "Done."