diff --git a/scripts/library_handler.py b/scripts/library_handler.py index 44a999ca9a..4caea9b175 100644 --- a/scripts/library_handler.py +++ b/scripts/library_handler.py @@ -597,7 +597,7 @@ def _readDependencies(initFile): for lib, request in libs.items(): version = request['version'] msg += ' \\item {}{}\n'.format( - lib.replace('_', '\\_'), ('' if version is None else '-'+version)) + lib.replace('_', '\\_'), ('' if version is None else '-'+version.replace('_', '\\_'))) msg += '\\end{itemize}' print(msg) else: