Fix thinko

Actually use the replaced path string :-/
This commit is contained in:
Juergen Spitzmueller 2018-11-09 11:28:38 +01:00
parent 0c05432284
commit a5004a394a

View File

@ -159,7 +159,7 @@ set<string> getTexFileList(string const & filename)
for (auto doc : doclist) {
subst(doc, from_ascii("\r"), docstring());
while (contains(doc, from_ascii("//")))
subst(doc, from_ascii("//"), from_ascii("/"));
doc = subst(doc, from_ascii("//"), from_ascii("/"));
if (!doc.empty())
list.insert(removeExtension(onlyFileName(to_utf8(doc))));
}