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