From 09ba31c2763dd3a81b21c0a2df0d6eed8d1e4401 Mon Sep 17 00:00:00 2001 From: liu fengyun Date: Mon, 22 Jan 2018 10:55:33 +0100 Subject: [PATCH] fix dotd command after doc-tool dep update The problem is the library flexmark gets refactored in the updated version: a new jar `flexmark-formatter` needs to be added to the path. --- dist/bin/dotd | 1 + 1 file changed, 1 insertion(+) diff --git a/dist/bin/dotd b/dist/bin/dotd index c5e50edc7814..2cc6037dc46a 100755 --- a/dist/bin/dotd +++ b/dist/bin/dotd @@ -35,6 +35,7 @@ DOTTY_DOC_LIB=$(find_lib "*dotty-doc*") # Set flexmark deps: FLEXMARK_LIBS="" FLEXMARK_LIBS+=$(find_lib "*flexmark-0*")$PSEP +FLEXMARK_LIBS+=$(find_lib "*flexmark-formatter*")$PSEP FLEXMARK_LIBS+=$(find_lib "*flexmark-ext-anchorlink*")$PSEP FLEXMARK_LIBS+=$(find_lib "*flexmark-ext-autolink*")$PSEP FLEXMARK_LIBS+=$(find_lib "*flexmark-ext-emoji*")$PSEP