missed this.

diff --git a/src/insets/InsetInfo.cpp b/src/insets/InsetInfo.cpp
index 52d98e309882443ce8bd596aa298daa770519c41..d6c68ed6b2eaf3b93af4ea8d3260a3fc6a0fb952 100644 (file)
--- a/src/insets/InsetInfo.cpp
+++ b/src/insets/InsetInfo.cpp
@@ -157,7 +157,7 @@ set<string> 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())