On Fri, 11 Apr 2025 13:33:09 GMT, Alexey Semenyuk <asemen...@openjdk.org> wrote:
>> Escape the dollar sign.
>
> Alexey Semenyuk has updated the pull request incrementally with one
> additional commit since the last revision:
>
> Add missing backslash character
Try this patch:
diff --git a/make/autoconf/basic_tools.m4 b/make/autoconf/basic_tools.m4
index eac14207b1d..516529116c3 100644
--- a/make/autoconf/basic_tools.m4
+++ b/make/autoconf/basic_tools.m4
@@ -468,7 +468,14 @@ AC_DEFUN_ONCE([BASIC_SETUP_PANDOC],
AC_MSG_CHECKING([if the pandoc smart extension needs to be disabled for
markdown])
if $PANDOC --list-extensions | $GREP -q '+smart'; then
AC_MSG_RESULT([yes])
- PANDOC_MARKDOWN_FLAG="markdown-smart"
+ PANDOC_MARKDOWN_FLAG="$PANDOC_MARKDOWN_FLAG-smart"
+ else
+ AC_MSG_RESULT([no])
+ fi
+ AC_MSG_CHECKING([if the pandoc tex_math_dollars extension needs to be
disabled for markdown])
+ if $PANDOC --list-extensions | $GREP -q '+tex_math_dollars'; then
+ AC_MSG_RESULT([yes])
+ PANDOC_MARKDOWN_FLAG="$PANDOC_MARKDOWN_FLAG-tex_math_dollars"
else
AC_MSG_RESULT([no])
fi
(and remove the \ in front of $).
-------------
PR Comment: https://git.openjdk.org/jdk/pull/24585#issuecomment-2796953675
