From 87d5bbffc0aae45aedbc53437e6d0e255f0d738f Mon Sep 17 00:00:00 2001 From: congjian wang Date: Mon, 5 Feb 2024 14:07:14 -0700 Subject: [PATCH] update the manual option for library handler to generate the correct latex file --- scripts/library_handler.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: