From 626700c307e3f19a8e7eaf79c43d30cd0d256256 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Fri, 9 Nov 2018 11:47:51 +0100 Subject: [PATCH] missed this. --- src/insets/InsetInfo.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/insets/InsetInfo.cpp b/src/insets/InsetInfo.cpp index 52d98e3098..d6c68ed6b2 100644 --- a/src/insets/InsetInfo.cpp +++ b/src/insets/InsetInfo.cpp @@ -157,7 +157,7 @@ set getTexFileList(string const & filename) // Normalise paths like /foo//bar ==> /foo/bar for (auto doc : doclist) { - subst(doc, from_ascii("\r"), docstring()); + doc = subst(doc, from_ascii("\r"), docstring()); while (contains(doc, from_ascii("//"))) doc = subst(doc, from_ascii("//"), from_ascii("/")); if (!doc.empty()) -- 2.39.5